Filozofska istraživanja, Vol. 39 No. 4, 2019.
Original scientific paper
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
Abstract
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.
Keywords
logika; matematika; formalni dokazi; matematička ljepota; estetičke teorije
Hrčak ID:
240415
URI
Publication date:
17.2.2020.
Visits: 1.737 *