The following pages link to Is there a ``Hilbert thesis''? (Q2631647):
Displaying 7 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Direct proofs of Lindenbaum conditionals (Q2254568) (← links)
- General proof theory: introduction (Q2631640) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society (Q6182827) (← links)
