G. F. C.グリス – ウィキペディア

ジョージ・フラニス・コーネリス・グラス 、引用G. F. C.グリス（1898年1月1日生まれ、1953年8月2日）はオランダの数学論理学者および哲学者でした。

グリスは、アムステルダム大学の数学のローランド・ワイツェンボークで博士号を取得しました。 ^[初め]

彼はヘーゲルの理想主義の哲学者支持者であり、ゲリット・マンノーリー（ヘーゲル人）とブローワーの一部でした。 1944年から公開されたグリス ^[2] および1946 ^[3] 彼が直観主義における否定の使用を拒否した仕事。彼の見解では、すべての数学的概念は構造に起源があります。構造を実行できない場合、用語は不明でした。 ^[4] グリスも1949年に始まりました ^[5] 否定的な数学の形式化に関する研究で。当時、彼の論文は直観主義者の学校とブラウワー自体の議論につながった。1940年代の終わりにグリスの仕事によっていくつかの出版物へ ^[6] 。

• 理想主義的な哲学。人道的な生活と世界観 、Van Loghum Slaterus、Arnheim 1946
• 数学、神秘的および哲学 、哲学的混合物。 11番目の寄宿学校の図書館。哲学の議会、1948年アムステルダム
• 否定のない直観主義者数学 、数学のための新しいアーカイブ、シリーズ3、バンド3、1955、S。134–142。
• 否定について 、合成、第7巻、1948、pp。71–74。
• ベクトルシステムの差動不変剤 、Groningen、Noordhoff 1925

• H. J. Pos、 G.F.C. Wijsgel Humanist An A Mensとしての草 、de Nieuwe Stern、バンド8、1953、S。654–663。
• 同じ G. F. C.グリスの理想主義的哲学 、哲学と心理学の一般的なジャーナル、バンド46、1953/54、nr。 1、S。1–7。
• アレン・ヘイティング G. F. C.グリスと彼の否定的な直観的数学 、合成、第9巻、1955、No。1、pp。91–96。
• 同じ： G.F.C.の数学的な仕事の意味についてグリス 、哲学と心理学の将軍ジャーナル、バンド46、1953
• M.フランチェラ 直観主義への草の貢献 In：J。Czermak（ed。）、 数学の哲学 。第15回国際ウィットゲンシュタインシンポジウムのファイル、パート1、ウィーン1993（ウィットゲンシュタイン協会の出版物のシリーズ、vol。xxi）
• P. C.ギルモア、 G.F.C.の効果直観論的論理の中で正式化された演ductive理論に関する直観論的論理に対するグリスの批判 、論文、アムステルダム1953。

1. ↑ グラスター 相対ベクターの微分不変剤 、作曲Mathematica、バンド1、1935、S。420–428 （ 記念 の オリジナル 2016年3月4日から インターネットアーカイブ ）） 情報： アーカイブリンクは自動的に使用されており、まだチェックされていません。指示に従ってオリジナルとアーカイブのリンクを確認してから、このメモを削除してください。 @初め @2 テンプレート：webachiv/iabot/www.numdam.org 、 バイナリ領域の対称テンソル4レベルの共変動の微分不変 、同書、pp。238–247。
2. ↑ グラスター 否定的な直観主義者数学 、アカドを倒した。アムステルダム、バンド53、1944、S。261–268。
3. ↑ グラスター 否定的な直観的数学i 、Proc。アカド。アムステルダムバンド49、1946、S。1127-1133（= Indag。Math。8、675）、Teil IIおよびIndag。算数。バンド12、1950、S。108-115、Teil 3,4 Inda。数学、バンド13、1951、S。193、452
4. ↑ たとえば、セクション 否定的な数学 Arend Heytingで 直観主義 、ノースホランド1971、S。124
5. ↑ グラスター 否定のない直観主義者数学の論理 、競争した本当のacaad。 Sci。、Paris、Bon 227、1946、Screen 946-947。グラスター 否定的な直観的数学の論理 、indag。 Math。、Band 13、1950、S。41–49。
6. ↑ ヴァン・ダレン ミスティック、ジオメーター、直観主義者。 L. E. J. Brouwerの生活 、バンド2、クラレンドンプレス、オックスフォード2005、S。815