Post #2121625
2022-12-17 09:31 UTC
Hilbert and Gödel walk into a bar. Hilbert begins to tell the bartender exactly how he wants his drink prepared and all its ingredients. While starting to prepare it, the bartender asks Gödel if he wants anything. “I’m good,” Gödel says. “Thanks to him, I’ve finished the mental construction of the drink.”
#mathematics #formalism #intuitionism #humor #ontology
Replies (0)
No replies.