The author is an internationally known expert in several areas of metamathematics. His research encompasses Kripke semantics, intutitionistic logic, and modal logic [Smoryński, 1973–2010]. He has also produced introductions to metamathematics for students [1985; 1991a].

...

There are parallels that are apparent between his thinking and the development of the thinking of Rudolf Carnap. Both authors began with an intense interest in theoretical metamathematics. Carnap, in this phase of his development, was influenced by the lectures of Frege. Smoryński was interested, and published results, in Kripke semantics and intuitionistic logic.

These directions of research effort led to Carnap's Der logische Aufbau der Welt [1998] and Smoryński's papers on intuitionistic logic. In their later, more mature work, both authors developed overarching theories of the development of mathematical knowledge....

Article PDF first page preview

Article PDF first page preview
Article PDF first page preview
You do not currently have access to this article.