scientific article; zbMATH DE number 4197450
From MaRDI portal
Publication:5203706
Recommendations
- scientific article; zbMATH DE number 1418078
- Formalising foundations of mathematics
- scientific article; zbMATH DE number 2044760
- Model theory and the philosophy of mathematical practice. Formalization without foundationalism
- Model Theory and the Philosophy of Mathematical Practice
- On the formalization of theories
- scientific article; zbMATH DE number 3285198
- Model theory and the Tannakian formalism
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework
- Formalizability and knowledge ascriptions in mathematical practice
Cited in
(7)- scientific article; zbMATH DE number 4016680 (Why is no real title available?)
- On the interpretation of mathematical entities in the formalisation of programming and modelling languages
- scientific article; zbMATH DE number 1094162 (Why is no real title available?)
- Abstract Mathematical Tools and Machines for Mathematics†
- scientific article; zbMATH DE number 1418078 (Why is no real title available?)
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework
- scientific article; zbMATH DE number 3285198 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5203706)
