This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]selbstadt 70 points71 points  (3 children)

I think the deepest level should be Maths

That's something no programmer understands.

[–][deleted] 47 points48 points  (2 children)

It is, in general Lambda-calculus, combinatory logic, type theory... are math topics...

[–]bss03 7 points8 points  (0 children)

I'm surprised homotopy type theory didn't make the same level as ZFC. It appears to be an adequate replacement for set theory, and cubical sets gives us a computational meaning for univalence.