Formal Losses

Gerald E. Sacks

in Future Pasts

Published in print September 2001 | ISBN: 9780195139167
Published online November 2003 | e-ISBN: 9780199833214 | DOI:
 Formal Losses

More Like This

Show all results sharing this subject:

  • History of Western Philosophy


Show Summary Details


Sacks argues against the value of introducing formal precision in mathematics. Intuitive concepts, such as computability, can be the source of fruitful insights as well as worked with in proofs, without formalization. Moreover, formal recasting of these notions makes them less tractable to mathematical experience.

Keywords: S. C. Kleene; computability; formalization; intuition

Chapter.  970 words. 

Subjects: History of Western Philosophy

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.