Translator Disclaimer
June 2003 Foundations and applications: axiomatization and education
F. William Lawvere
Bull. Symbolic Logic 9(2): 213-224 (June 2003). DOI: 10.2178/bsl/1052669290

Abstract

Foundations and Applications depend ultimately for their existence on each other. The main links between them are education and the axiomatic method. Those links can be strengthened with the help of a categorical method which was concentrated forty years ago by Cartier, Grothendieck, Isbell, Kan, and Yoneda. I extended that method to extract some essential features of the category of categories in 1965, and I apply it here in section 3 to sketch a similar foundation within the smooth categories which provide the setting for the mathematics of change. The possibility that other methods may be needed to clarify a contradiction introduced by Cantor, now embedded in mathematical practice, is discussed in section 5.

Citation

Download Citation

F. William Lawvere. "Foundations and applications: axiomatization and education." Bull. Symbolic Logic 9 (2) 213 - 224, June 2003. https://doi.org/10.2178/bsl/1052669290

Information

Published: June 2003
First available in Project Euclid: 11 May 2003

zbMATH: 1058.03080
MathSciNet: MR1988967
Digital Object Identifier: 10.2178/bsl/1052669290

Rights: Copyright © 2003 Association for Symbolic Logic

JOURNAL ARTICLE
12 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.9 • No. 2 • June 2003
Back to Top