teeaboo patreon

Haruhi 10 11 12 Early Access

🕑 Added 2021-05-24 14:03:56 +0000 UTC

Comments

Elevown

As for what nagato says about the paradox time travel brought up, I profer the subs I have in which she says 'Axiomatic set theory cannot prove the antinomies within itself without antinomies.' Even if you dont understand that, you can look it up and then it makes sense. She is refering to Godel's incompleteness theorems. To quickly quote the basics he proved in The first incompleteness theorem that no consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of natural numbers. For any such consistent formal system, there will always be statements about natural numbers that are true, but that are unprovable within the system. The second incompleteness theorem, proved by Turin, is an extension of the first, shows that the system cannot demonstrate its own consistency. i.e Nagato is saying even with pure math, which is surely what the data entity uses, there will ALWAYS be some true things that are unprovable- and If I remember the incompletness theorms arose from studying paradoxes- and I guess this means time travel paradoxes fall into that catagory of the 'true but no mathamatical proof can ever explain'.