6 ms·
Although Wolfram doesn't mention it by name, this is closely related to what he is trying to do: https://en.wikipedia.org/wiki/Reverse_mathematics https://en.wi
by bmc7505 2y ago
Although Wolfram doesn't mention it by name, this is closely related to what he is trying to do: https://en.wikipedia.org/wiki/Reverse_mathematics https://en.wikipedia.org/wiki/Reverse_mathematics
- deleted 2y ago[deleted]
- vasco 2y agoWanted to thank you for the share, added "Reverse Mathematics: Proofs from the Inside Out" to my reading list which was referenced in the article you posted: https://www.goodreads.com/book/show/34928283-reverse-mathematics https://www.goodreads.com/book/show/34928283-reverse-mathema...
- bmc7505 2y agoDepending on how comfortable you are with model theory you might also enjoy Dzhafarov and Mummert’s textbook, which first brought the subject to my attention.