The following pages link to (Q5704852):
Displayed 8 items.
- Closure of a priori knowability under a priori knowable material implication (Q320484) (← links)
- Transfinite recursion and computation in the iterative conception of set (Q510712) (← links)
- On mind \& Turing's machines (Q885688) (← links)
- A temporal semantics for nilpotent minimum logic (Q2353684) (← links)
- Three books on computability, with a special focus on Turing's legacy. Essay review of: A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem. Book review of: R. Adams, An early history of recursive functions and computabili (Q2631823) (← links)
- Gödel’s Cantorianism (Q3305413) (← links)
- Completeness of a functional system for surjective functions (Q5108132) (← links)
- Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции (Q6075510) (← links)