Filozofska istraživanja, Vol. 39 No. 4, 2019.
Izvorni znanstveni članak
https://doi.org/10.21464/fi39401
The Possibility of Applying Traditional and Modern Aesthetical Theories to Logical and Mathematical Proofs
Marko Kardum
orcid.org/0000-0002-0797-6677
; Sveučilište u Zagrebu, Fakultet hrvatskih studija, Borongajska cesta 83d, HR–10000 Zagreb
Sandro Skansi
orcid.org/0000-0002-3851-1186
; Sveučilište u Zagrebu, Fakultet hrvatskih studija, Borongajska cesta 83d, HR–10000 Zagreb
Sažetak
In this paper, we explore the possibility of applying traditional and modern aesthetical theories to logical and mathematical proofs, with the goal of better understanding the intuitive concept of mathematical beauty. This informal concept takes a central role in the work of logicians and mathematicians and can be thought of as their main motivation. In the present paper, we try to define concepts connected to mathematical beauty or beauty in mathematical proofs, so that we may lay the foundations for a more precise definition of mathematical beauty which would be obtained through a detailed survey among logicians and mathematicians, presented in a future paper. The present paper brings crucial results to be used for constructing the survey.
Ključne riječi
logic; mathematics; formal proofs; mathematical beauty; aesthetical theories
Hrčak ID:
240415
URI
Datum izdavanja:
17.2.2020.
Posjeta: 1.635 *