5 edited title
| link

Can Turing machine implement an inconsistent formal system Does Gödel's argument that minds are more powerful than computers have the inconsistency loophole?

4 edited title
| link

Can a Turing machine generateimplement an inconsistent formal system?

3 edited tags
| link
2 edited title
| link
    Tweeted twitter.com/StackPhilosophy/status/662421893648146433
1
source | link