4 ms·

Hi Carl. Thanks for sharing and your work in general. I always thought Godel results’ point is undecidability. Which (always?) arise with (StringTheoremsAreEn

by rq1 6y ago

Hi Carl. Thanks for sharing and your work in general. I always thought Godel results’ point is undecidability. Which (always?) arise with (StringTheoremsAreEnumerable and SomeKindOfCantorDiagonalReasoning). Where am I wrong? Do you have any historical writings to recommend about Wittgenstein/Gödel battle?

ProfHewitt 6y ago
You are very welcome! In addition to the article linked in this discussion, see the following: Hao Wang. "Reflections on Kurt Gödel" MIT Press. 1987.
- rq1 6y ago
  Thank you very much!
deleted 6y ago
[deleted]