Pieri's Structures

Issue title: Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk

Article type: Research Article

Authors: Gruszczyński, Rafał | Pietruszczak, Andrzej

Affiliations: Department of Logic, Nicolaus Copernicus University, Asnyka 2, 87-100 Toruń, Poland. E-mail: {gruszka,pietrusz}@uni.torun.pl

Abstract: We present basic notions of Pier's system of geometry in an intuitive way and from a heuristic point of view, trying to focus on the "essence" of Italian mathematician's constructions. However, it is done without the detriment for formal precision of the presentation, we hope. We also point to some important metamathematical dependencies between Pieri's and Hilbert's approach to Euclidean geometry.

Keywords: Pieri's structures, Metamathematics of Euclidean geometry

Journal: Fundamenta Informaticae, vol. 81, no. 1-3, pp. 139-154, 2007