Embedded Files
Tarski: "The idea which will underlie my suggestion goes back to a famous German mathematician, Felix Klein. In the second half of the nineteenth century, Felix Klein did very serious work in the foundations of geometry which exerted a great influence on later investigations in this domain. One problem which interested him was that of distinguishing the notions discussed in various systems of geometry, in various geometrical theories, e.g. ordinary Euclidean geometry, affine geometry, and topology. I shall try to extend his method beyond geometry and apply it also to logic. I am inclined to believe that the same idea could also be extended to other sciences. Nobody so far as I know has yet attempted to do it, but perhaps one can formulate using Klein's idea some reasonable suggestions to distinguish among biological, physical, and chemical notions." (p.145-146)
Tarski: "The idea which will underlie my suggestion goes back to a famous German mathematician, Felix Klein. In the second half of the nineteenth century, Felix Klein did very serious work in the foundations of geometry which exerted a great influence on later investigations in this domain. One problem which interested him was that of distinguishing the notions discussed in various systems of geometry, in various geometrical theories, e.g. ordinary Euclidean geometry, affine geometry, and topology. I shall try to extend his method beyond geometry and apply it also to logic. I am inclined to believe that the same idea could also be extended to other sciences. Nobody so far as I know has yet attempted to do it, but perhaps one can formulate using Klein's idea some reasonable suggestions to distinguish among biological, physical, and chemical notions." (p.145-146)
Friederich Ignaz Mautner (1921-1996), "An extension of Klein’s Erlanger program: logic as invariant theory", American Journal of Mathematics, 68:345–384, 1946.
Friederich Ignaz Mautner (1921-1996), "An extension of Klein’s Erlanger program: logic as invariant theory", American Journal of Mathematics, 68:345–384, 1946.
Page updated
Google Sites
Report abuse