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

https://hrcak.srce.hr/240415

Datum izdavanja:

17.2.2020.

Podaci na drugim jezicima: engleski

Posjeta: 2.430 *