OH NO MATERIAL COMFORTS puritan ascetism is alive and well as a weird, life-hating virtue
-
-
hmm... you are asserting that a formally secure language is impossible?
-
me, Turing and Gödel, yeah
-
oh, I'm not so sure (though obviously I've used that argument myself elsewhere). But godel's point is that no system can prove itself complete, but I think you could construct systems in which all the endpoints could be enumerated. It's like chess, chess is solvable.
-
Tweet unavailable
-
i think
@maradydd literally invented a field to explore this but the math goes from 'uh ok i think i follow' to *smile and nod acceptingly* more or less instantly for me -
* adds math to the list of 'unpatchable vulns' *
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.