The following pages link to (Q3968902):
Displaying 5 items.
- Constructive chaos by cellular automata and possible sources of an arrow of time (Q751849) (← links)
- How recent work in mathematical logic relates to the foundations of mathematics (Q1085151) (← links)
- On the number of steps in proofs (Q1119576) (← links)
- Wittgenstein and finitism (Q1583770) (← links)
- Radical anti-realism, Wittgenstein and the length of proofs (Q2268776) (← links)