= 27d567bc2d48d9f40e9ccc20ea370b15)
Blueberry comments on Harry Potter and the Methods of Rationality discussion thread - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (866)
Though Godel was interested in time travel loops, that's not the type of consistency that his Second Incompleteness Theorem discussed (it's limited to formal axiomatized systems that can describe arithmetic).
I suspect Vladmir is considering the system in question here in a way that meets that description.