Pregled bibliografske jedinice broj: 1071101
Mogućnost primjene tradicionalnih i suvremenih estetičkih teorija na logičko-matematičke dokaze
Mogućnost primjene tradicionalnih i suvremenih estetičkih teorija na logičko-matematičke dokaze // Filozofska istraživanja, 39 (2019), 4; 741-760 doi:10.21464/fi39401 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 1071101 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
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
Izvornik
Filozofska istraživanja (0351-4706) 39
(2019), 4;
741-760
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
logika ; matematika ; formalni dokazi ; matematička ljepota ; estetičke teorije
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.
Izvorni jezik
Hrvatski
Znanstvena područja
Filozofija
POVEZANOST RADA
Ustanove:
Fakultet hrvatskih studija, Zagreb
Citiraj ovu publikaciju:
Časopis indeksira:
- Web of Science Core Collection (WoSCC)
- Arts & Humanities Citation Index (A&HCI)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus