I'm not. Wittgenstein was very cool. But he wasn't a *builder*. (... as far as I know. I'd be happy to be wrong.) The thing that (in my ignorant opinion) distinguishes people like Wittgenstein from people like Gödel, von Neumann, Feynman, etc. ... even Penrose with the tilings and such, is that they *build* things. Until the hoity-toity results from the unification theorem come percolating down to morons like me, I'll continue treating constructive proofs as better and more real/existing than classical proofs.
On 12/11/19 10:44 AM, Frank Wimberly wrote: > I'm surprised no one has quoted Wittgenstein: > > Wovon Mann nicht sprechen kann daruber muss Mann schweigen. -- ☣ uǝlƃ ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives back to 2003: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove
