Axioms: The Foundations of (In)Complete Knowledge
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23330%2F25%3A43978419" target="_blank" >RIV/49777513:23330/25:43978419 - isvavai.cz</a>
Alternative codes found
RIV/49777513:23520/25:43978419
Result on the web
<a href="https://kfi.zcu.cz/konference/axiomy-neboli-zaklady-neuplneho-poznani/" target="_blank" >https://kfi.zcu.cz/konference/axiomy-neboli-zaklady-neuplneho-poznani/</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Axiomy neboli základy (ne)úplného poznání
Original language description
Interdisciplinární workshop Katedry filozofie FF ZČU a Katedra matematiky FAV ZČU, který byl motivován otázkami: Jaké jsou základy našeho poznání a jak je lze formalizovat? Může být taková formalizace úplná? Workshop propojil filozofickou reflexi historických proměn pojetí axiomů s přístupným výkladem Gödelových vět o neúplnosti formálních systémů. Diskuze byla směrována i k aktuální otázce formálních základů umělé inteligence, od níž mnozí očekávají, že bude obecná.Program:10:30 dr. Ludmila Dostálová (KFI): Není axiom jako axiom11:30 prof. Tomáš Kaiser (KMA): Gödelovy věty o neúplnosti12:30 diskuze / spolupráce na pomezí matematiky a filozofie13:00 závěr
Czech name
Axiomy neboli základy (ne)úplného poznání
Czech description
Interdisciplinární workshop Katedry filozofie FF ZČU a Katedra matematiky FAV ZČU, který byl motivován otázkami: Jaké jsou základy našeho poznání a jak je lze formalizovat? Může být taková formalizace úplná? Workshop propojil filozofickou reflexi historických proměn pojetí axiomů s přístupným výkladem Gödelových vět o neúplnosti formálních systémů. Diskuze byla směrována i k aktuální otázce formálních základů umělé inteligence, od níž mnozí očekávají, že bude obecná.Program:10:30 dr. Ludmila Dostálová (KFI): Není axiom jako axiom11:30 prof. Tomáš Kaiser (KMA): Gödelovy věty o neúplnosti12:30 diskuze / spolupráce na pomezí matematiky a filozofie13:00 závěr
Classification
Type
W - Workshop organization
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Event location
Plzeň, Fakulta filozofická ZČU, SP319
Event country
CZ - CZECH REPUBLIC
Event starting date
—
Event ending date
—
Total number of attendees
50
Foreign attendee count
—
Type of event by attendee nationality
CST - Celostátní akce