Filozofska istraživanja, Vol. 39 No. 4, 2019.
Izvorni znanstveni članak
https://doi.org/10.21464/fi39401
Mogućnost primjene tradicionalnih i suvremenih estetičkih teorija na logičko-matematičke dokaze
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
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 središnje 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, da 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.
Ključne riječi
logika; matematika; formalni dokazi; matematička ljepota; estetičke teorije
Hrčak ID:
240415
URI
Datum izdavanja:
17.2.2020.
Posjeta: 1.737 *