Logic truth math and nature

[youhn]

Abstractions are models to understand and predict our human environment. These models are created by our brain, after given sensory input. In almost every case these models are simplified version of reality. While most of us would consider that all is one and everything is connected, we have to imagine separation. For example to count things. Natural numbers appeared. But then this counting model is extended to more imaginary stuff, like negative numbers and infinity. Mathematicians value these extensions so much (for good reasons as completeness, usefulness and beauty) that they seem the underlying (beautiful) truth. Same story goes for logicians and people dealing with math or logic in general. It should be no problem that our tools (models) drift further and further from reality. Just as long they lead to effective designs and solutions in the real world.

The seed for this post popped into my thought stream while watching the following video. Perhaps a bit hard to listen to, then skip to 8:20 for some examples. Then on 12:06 Zeno's paradox.

<a href="https://www.youtube.com/v/NG88vL-FwP4&rel=1&fs=1&hd=1" target="_blank">https://www.youtube.com/v/NG88vL-FwP4&rel=1&fs=1&hd=1</a>

[Chillheimer]

Great share.

This man is hilarious (positively)

[Sabine]

Loved this, thank you!