The following pages link to Formalism (philosophy of mathematics)
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- ALGOL (links | edit)
- Atlas Autocode (links | edit)
- AI-complete (links | edit)
- Arithmetic (links | edit)
- CORAL (links | edit)
- Edsger W. Dijkstra (links | edit)
- Formal language (links | edit)
- Mathematics (links | edit)
- Mary (programming language) (links | edit)
- Modula (links | edit)
- Niklaus Wirth (links | edit)
- Ontology (links | edit)
- Oberon (programming language) (links | edit)
- Pascal (programming language) (links | edit)
- Simula (links | edit)
- Willard Van Orman Quine (links | edit)
- Tony Hoare (links | edit)
- Haskell Curry (links | edit)
- Philosophy of mathematics (links | edit)
- Gottlob Frege (links | edit)
- MAD (programming language) (links | edit)
- Peter Naur (links | edit)
- Ole-Johan Dahl (links | edit)
- Kristen Nygaard (links | edit)
- Andrey Yershov (links | edit)
- Analytic philosophy (links | edit)
- L. E. J. Brouwer (links | edit)
- Informal mathematics (links | edit)
- Axiomatic system (transclusion) (links | edit)
- Stephen R. Bourne (links | edit)
- ALGOL W (links | edit)
- JOVIAL (links | edit)
- Robert W. Floyd (links | edit)
- John McCarthy (computer scientist) (links | edit)
- Formalism (philosophy) (links | edit)
- Oberon (operating system) (links | edit)
- Logicism (links | edit)
- Lilith (computer) (links | edit)
- Formal system (links | edit)
- Oberon-2 (links | edit)
- Regnecentralen (links | edit)
- Eduard Heine (links | edit)
- Object Pascal (links | edit)
- Peter Landin (links | edit)
- ALGOL 60 (links | edit)
- ALGOL 68 (links | edit)
- John Barnes (computer scientist) (links | edit)
- IMP (programming language) (links | edit)
- Euler (programming language) (links | edit)
- Adriaan van Wijngaarden (links | edit)