폴란드 출생의 미국 수학자·논리학자. 바르샤바대학에서 레스니에프스키, J.루카셰비치에게 배웠다. 폴란드 학파(學派)의 일원으로서 1935년 《형식언어(形式言語)에서의 진리개념(眞理槪念)：Der Wahrheitsbegriff in den formalisierten Sprachen》을 발표하여 인정을 받았다. 42∼68년 버클리의 캘리포니아대학 강사·부교수·교수를 역임하고, 68년 명예교수가 되었다. 주요저서는 《수학적 논리학 서설》 《논리학 및 연역과학(演繹科學) 방법론 서설》 《논리학·의미론·대수론(代數論)：Logic, Semantics, Metamathematics》(56) 등이다.
-
플뤼커<Pluker, Julius>(1801.6.16~1868.5.22)
-
프로베니우스<Frobenius, Georg Ferdinand>(1849.10.26~1917.8.3)
-
프레게<Frege, Friedrich Ludwig Gottlob>(1848.11.8~1925.7.26)
-
푸아송<Poisson, Simeon Denis>(1781.6.21~1840.4.25)
-
푸리에<Fourier, Jean Baptiste Joseph, Baron de>(1768.3.21~1830.5.16)
-
폰트랴긴<Pontryagin, Lev Semyonovic>(1908.9.3~1988.5.3)
-
페아노<Peano, Giuseppe>(1858~1932)
-
페르마<Fermat, Pierre de>(1601~1665)
-
파치올리<Pacioli, Luca>(1445?~1510?)
-
파스칼<Pascal, Blaise>(1623.6.19~1662.8.19)
-
테일러<Taylor, Brook>(1685~1731)
-
탈레스<Thales>(BC 624?~BC 546?)
-
타르스키<Tarski, Alfred>(1902.1.14~1983.10.26)
-
클레로<Clairaut(Clairault), Alexis Claude>(1713~1765)
-
클라인<Klein, Christian Felix>(1849.11.25~1925.6.22)
-
크로네커<Kronecker, Leopold>(1823.12.7~1891.12.29)
-
크렐레<Crelle, August Leopold>(1780.3.11~1855.10.6)
-
크레모나<Cremona, Luigi>(1830.12.7~1903.6.10)
-
쿠머<Kummer, Ernst Eduard>(1810.1.29~1893.5.14)
-
쿠르노<Cournot, Antoine Augustin>(1801.8.28~1877.3.31)
