Mogućnost primjene tradicionalnih i suvremenih estetičkih teorija na logičko-matematičke dokaze (CROSBI ID 280850)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Kardum, Marko ; Skansi, Sandro
hrvatski
Mogućnost primjene tradicionalnih i suvremenih estetičkih teorija na logičko-matematičke dokaze
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.
logika ; matematika ; formalni dokazi ; matematička ljepota ; estetičke teorije
nije evidentirano
engleski
The Possibility of Applying Traditional and Modern Aesthetical Theories to Logical and Mathematical Proofs
nije evidentirano
logika ; matematika ; formalni dokazi ; matematička ljepota ; estetičke teorije
nije evidentirano