@1494 @4 @818 Introduction to the Pi Calculus : Applied Cat…

Twetch ·

@1494 @4 @818 Introduction to the Pi Calculus : Applied Category Theory
https://twetch.app/t/6746e390abb7f03289eef6734f6ccf520355b7c3be02d276460f479dc7c25946

Replies

Twetch ·

In “What is Mathematics, Really?”, Reuben Hersh posits that math is a social construct. That it’s about social consensus because it draws the bridge necessary for groups to cross a mental hole 🕳 together.

Twetch ·

The mental hole 🕳 is always some incompleteness in understanding of reality. Gödel proved that there is always another level of understanding so we should basically never say something is impossible or all things are machines or whatever else.

Twetch ·

I like to study ancient esoteric stuff because I’m looking for hidden code and mathematics. Raymond Smullyan said math begins with a guess. @5

Twetch ·

<https://youtu.be/NTJBMbTIJis>