Naslov
Mogućnost primjene tradicionalnih i suvremenih estetičkih teorija na logičko-matematičke dokaze
(The Possibility of Applying Traditional and Modern Aesthetical Theories to Logical and Mathematical Proofs)

Autori
Kardum, Marko ; Skansi, Sandro

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Filozofija i stvaralaštvo / Krznar, Tomislav - Zagreb : Hrvatsko filozofsko društvo ; Učiteljski fakultet Sveučilišta u Zagrebu, 2021, 109-135

ISBN
978-953-164-206-4

Skup
Godišnji simpozij Hrvatskog filozofskog društva "Filozofija i stvaralaštvo"

Mjesto i datum
Zagreb, Hrvatska, 13.12.2018. - 15.12.2018

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
logika, matematika, formalni dokazi, matematička ljepota, estetičke teorije
(logic, mathematics, formal proofs, mathematical beauty, aesthetical theories)

Sažetak
U ovom radu istražujemo mogućnost primjene tradicionalnih i suvremenih estetičkih teorija na logičko-matematičke dokaze, s ciljem boljeg razumijevanja intuitivnog pojma matematičke ljepote. Ovo je neformalan pojam koji zauzima centralno mjesto u radu logičara i matematičara i može se smatrati njihovom glavnom motivacijom. U ovom radu pokušavamo definirati pojmove vezane uz matematičku ljepotu, odnosno ljepotu u matematičkim dokazima, kako bismo postavili temelje za preciznu definiciju matematičke ljepote koju bismo dobili preko detaljnog anketiranja logičara i matematičara, a što bismo proveli u odvojenom radu. Ovaj rad donosi važne rezultate za izradu te ankete.

Izvorni jezik
Hrvatski

Znanstvena područja
Filozofija

Napomena
Rad je prvotno objavljen u časopisu Filozofska
istraživanja 39 (2019) 4, str. 741-760

POVEZANOST RADA