Pages that link to "Item:Q865658"
From MaRDI portal
The following pages link to Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics (Q865658):
Displaying 9 items.
- A formalization of multi-tape Turing machines (Q744986) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Formalizing an analytic proof of the prime number theorem (Q2655322) (← links)
- Expander2: Program Verification Between Interaction and Automation (Q2873787) (← links)
- Formalising foundations of mathematics (Q3094180) (← links)
- MECHANIZING <i>PRINCIPIA LOGICO-METAPHYSICA</i> IN FUNCTIONAL TYPE-THEORY (Q5221294) (← links)
- (Q5875421) (← links)
