The following pages link to (Q5334280):
Displayed 5 items.
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems (Q804570) (← links)
- Hypernumbers and quantum field theory with a summary of physically applicable hypernumber arithmetics and their geometries (Q1142279) (← links)
- The optimality of induction as an axiomatization of arithmetic (Q3661556) (← links)
- The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations (Q4075443) (← links)