GFC Griss

from Wikipedia, the free encyclopedia

George François Cornelis Griss , quoted GFC Griss (born January 1, 1898 , † August 2, 1953 ) was a Dutch mathematical logician and philosopher.

Griss received his doctorate in mathematics under Roland Weitzenböck at the University of Amsterdam with a thesis on differential invariants (the special field of work of his doctoral supervisor Weitzenböck), which he also published in the 1930s.

As a philosopher he was a follower of a Hegelian idealism and belonged to the circle of Gerrit Mannoury (who was also a Hegelian) and Brouwer. From 1944 and 1946 Griss published works in which he rejected the use of negation in intuitionism . In his view, every mathematical concept formation has its origin in a construction. If the construction cannot be carried out, the term was unclear. Griss also began in 1949 with investigations into the formalization of a mathematics without negation. At that time, his theses led to debates within the intuitionist school, and Brouwer himself was inspired by the work of Griss to make some publications at the end of the 1940s.

Fonts

  • Idealistic philosophy. Een humanist levens- en wereldbeschouwing , Van Loghum Slaterus, Arnheim 1946
  • Mathématiques, mystique et philosophie , Mélanges philosophiques. Bibliotheque du Xieme Internat. Congress de Philosophy, Amsterdam 1948
  • La mathématique intuitioniste sans négation , Nieuw Archief voor wiskunde, Series 3, Volume 3, 1955, pp. 134–142.
  • Sur la négation , Synthesis, Volume 7, 1948, pp. 71-74.
  • Differential invariants of systems of vectors , Groningen, Noordhoff 1925

literature

  • HJ Pos, GFC Griss as wijsgerig humanist en als mens , De Nieuwe Stern, Volume 8, 1953, pp. 654-663.
  • the same GFC Griss' Idealistic Filosofie , Algemeen Nederlandsch Tijdschrift voor Wijsbegeerte en Psychologie, Volume 46, 1953/54, No. 1, pp. 1-7.
  • Arend Heyting GFC Griss and his negationless intuitionistic mathematics , Synthesis, Volume 9, 1955, No. 1, pp. 91-96.
  • the same: Over de betekenis van het wiskundige werk van GFC Griss , Algemeen Nederlands Tijdschrift voor Wijsbegeerte en Psychologie, Volume 46, 1953
  • M. Franchella Griss' Contribution to Intuitionism in: J. Czermak (Ed.), Philosophy of Mathematics . Files of the 15th International Wittgenstein Symposium, Part 1, Vienna 1993 (series of publications by the Wittgenstein Society, Vol. XXI)
  • PC Gilmore, The Effect of GFC Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized within the Intuitionistic Logic , Dissertation, Amsterdam 1953.

Individual evidence

  1. ↑ Griss differential invariants of relative vectors , Composition Mathematica, Volume 1, 1935, pp. 420–428 ( Memento of the original from March 4, 2016 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. , The differential invariants of a covariant symmetric fourth order tensor in the binary domain , ibid, pp. 238–247.  @1@ 2Template: Webachiv / IABot / www.numdam.org
  2. ↑ Griss Negatieloze intuitionist wiskunde , Verslagen Akad. Amsterdam, Volume 53, 1944, pp. 261–268.
  3. ↑ Griss Negationless intuitionistic mathematics I , Proc. Akad. Amsterdam Volume 49, 1946, pp. 1127-1133 (= Indag. Math. 8, 675), Part II, Indag. Math. Vol. 12, 1950, pp. 108-115, part 3.4 Indag. Math., Volume 13, 1951, pp. 193, 452
  4. ^ For example, section Negationless Mathematics in Arend Heyting Intuitionism , North Holland 1971, p. 124
  5. ↑ Griss Logique des mathématiques intuitionistes sans negation , Compte Rendu Acad. Sci., Paris, Volume 227, 1946, pp. 946-947. Griss The logic of negationsless intuitionistic mathematics , Indag. Math., Vol. 13, 1950, pp. 41-49.
  6. ↑ van Dalen Mystic, geometer and intuitionist. The life of LEJ Brouwer , Volume 2, Clarendon Press, Oxford 2005, p. 815
personal data
SURNAME Griss, GFC
ALTERNATIVE NAMES Griss, George François Cornelis (full name)
BRIEF DESCRIPTION Dutch mathematician and philosopher
DATE OF BIRTH January 1, 1898
DATE OF DEATH 2nd August 1953