數學之直覺主義

tracylin2002hk

數學之直覺主義

現在對於數學的見解流行的已有三派：（一）邏輯主義（logistic）。這派見解的主題是：純粹數學是邏輯的一支，以羅素與懷悌海為代表。（二）形式主義（formalism）。這派見解的主題是：純粹數學是記號的形式結構之科學，以希伯特（D. D. Hilbert）為代表。（三）直覺主義（intuitionism）。這派見解的主題是：純粹數學是靠著構造一無限的數目系列之可能底根本直覺而成，以荷蘭的布露渥（L. E. J. Brouwer）為代表。這三派中前兩派各有系統之著作，各有特殊之邏輯，惟第三派尚未具形，只是對于數學有些玄妙的見解，故欲為國人一介紹。本文是譯自布賴克（M. Black）《數學之性質》講直覺主義一篇。此書純講這三派的見解，而以邏輯派為最詳，其他兩派不過是補篇而已。 譯者