Academic Bibliography

 Search 200 years of publications by Ghent University researchers.
Advanced search
1 file | 301.88 KB
Add to list
  1. Search results
  2. Rigor and formalization

Rigor and formalization

Pawel Pawlowski (UGent) and Karim Zahidi (UGent)
(2024) SYNTHESE. 203.
Author
Organization
Project
Abstract
This paper critically examines and evaluates Yacin Hamami’s reconstruction of the standard view of mathematical rigor. We will argue that the reconstruction offered by Hamami is premised on a strong and controversial epistemological thesis and a strong and controversial thesis in the philosophy of mind. Secondly, we will argue that Hamami’s reconstruction of the standard view robs it of its original philosophical rationale, i.e. making sense of the notion of rigor in mathematical practice.
Keywords
Informal provability, The standard view on informal provability, Mathematical rigor, Mathematical practice, INFORMAL PROOFS

Downloads

  • Download
    (...).pdf
    • full text (Published version)
    • |
    • UGent only
    • |
    • PDF
    • |
    • 301.88 KB

Citation

Please use this url to cite or link to this publication:

MLA
Pawlowski, Pawel, and Karim Zahidi. “Rigor and Formalization.” SYNTHESE, vol. 203, 2024, doi:10.1007/s11229-024-04521-2.
APA
Pawlowski, P., & Zahidi, K. (2024). Rigor and formalization. SYNTHESE, 203. https://doi.org/10.1007/s11229-024-04521-2
Chicago author-date
Pawlowski, Pawel, and Karim Zahidi. 2024. “Rigor and Formalization.” SYNTHESE 203. https://doi.org/10.1007/s11229-024-04521-2.
Chicago author-date (all authors)
Pawlowski, Pawel, and Karim Zahidi. 2024. “Rigor and Formalization.” SYNTHESE 203. doi:10.1007/s11229-024-04521-2.
Vancouver
1.
Pawlowski P, Zahidi K. Rigor and formalization. SYNTHESE. 2024;203.
IEEE
[1]
P. Pawlowski and K. Zahidi, “Rigor and formalization,” SYNTHESE, vol. 203, 2024.
@article{01HJTMKTQP6Z5NA591AC375ZRB,
  abstract     = {{This paper critically examines and evaluates Yacin Hamami’s reconstruction of the standard view of mathematical rigor. We will argue that the reconstruction offered by Hamami is premised on a strong and controversial epistemological thesis and a strong and controversial thesis in the philosophy of mind. Secondly, we will argue that Hamami’s reconstruction of the standard view robs it of its original philosophical rationale, i.e. making sense of the notion of rigor in mathematical practice.}},
  articleno    = {{87}},
  author       = {{Pawlowski, Pawel and Zahidi, Karim}},
  issn         = {{0039-7857}},
  journal      = {{SYNTHESE}},
  keywords     = {{Informal provability,The standard view on informal provability,Mathematical rigor,Mathematical practice,INFORMAL PROOFS}},
  language     = {{eng}},
  pages        = {{18}},
  title        = {{Rigor and formalization}},
  url          = {{http://doi.org/10.1007/s11229-024-04521-2}},
  volume       = {{203}},
  year         = {{2024}},
}
Altmetric
View in Altmetric
Web of Science
Times cited: