Menu
NEWBEDEV
Python
Javascript
Linux
Cheat sheet
NEWBEDEV
Python 1
Javascript
Linux
Cheat sheet
Contact
New posts in Lo.Logic
Is there a semantics for intuitionistic logic that is meta-theoretically "self-hosting"?
Apr 25, 2021
Large cardinals without replacement
Apr 25, 2021
Explicit different proofs of the same identity type in MLTT
Apr 25, 2021
How to rewrite mathematics constructively?
Apr 25, 2021
Are there "typical" formal systems that have mutual consistency proofs? How long a chain of these can we build?
Apr 25, 2021
What did Paul Cohen mean by saying that generic sets of natural numbers have "no asymptotic density?"
Apr 25, 2021
What sorts of extra axioms might we add to ZFC to compute higher Busy Beaver numbers?
Apr 25, 2021
Zermelo-Frankel set theory for algebraists
Apr 25, 2021
Did Edward Nelson accept the incompleteness theorems?
Apr 25, 2021
Are the vertical sections of the Ackermann function primitive recursive?
Apr 25, 2021
Older Entries »