Mogućnost primjene tradicionalnih i suvremenih estetičkih teorija na logičko-matematičke dokaze

Scientific paper - Original scientific paper

• Title (english): The Possibility of Applying Traditional and Modern Aesthetical Theories to Logical and Mathematical Proofs
• Author: Marko Kardum; MBZ: 363922
• Author: Sandro Skansi; MBZ: 343196
• Author's institution: University of Zagreb; Faculty of Croatian Studies; (Department of Philosophy and Cultural Studies)
• Scientific / art field, discipline and subdiscipline: HUMANISTIC SCIENCES; Philosophy

Abstract (croatian)

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 (croatian): logika; matematika; formalni dokazi; matematička ljepota; estetičke teorije
• Language: croatian
• Publication type: Scientific paper - Original scientific paper
• Publication status: Published
• Peer review: Peer review
• Publication version: Published version
• Journal title: Filozofska istraživanja
• Numbering: vol. 39, no. 4, pp. 741-760
• p-ISSN: 0351-4706
• DOI: https://doi.org/10.21464/fi39401
• URN:NBN: urn:nbn:hr:111:973883
• Publication: 2019
• Document URL: http://bib.irb.hr/1071101
• Type of resource: Text
• Access conditions: Open access
• Created on: 2023-03-16 11:17:26