Axiomy neboli základy (ne)úplného poznání
Identifikátory výsledku
Kód výsledku v 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>
Nalezeny alternativní kódy
RIV/49777513:23520/25:43978419
Výsledek na webu
<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
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Axiomy neboli základy (ne)úplného poznání
Popis výsledku v původním jazyce
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
Název v anglickém jazyce
Axioms: The Foundations of (In)Complete Knowledge
Popis výsledku anglicky
An interdisciplinary workshop jointly organized by the Department of Philosophy, Faculty of Arts, and the Department of Mathematics, Faculty of Applied Sciences, University of West Bohemia. The workshop was motivated by the following questions: What are the foundations of our knowledge, and how can they be formalized? Can such a formalization be complete? The workshop brought together philosophical reflection on the historical transformations of the concept of axioms with an accessible introduction to Gödel’s incompleteness theorems. The discussion also addressed the contemporary question of the formal foundations of artificial intelligence, from which many expect general intelligence.Program:10:30 Dr. Ludmila Dostálová (Department of Philosophy): Not All Axioms Are Alike11:30 Prof. Tomáš Kaiser (Department of Mathematics): Gödel’s Incompleteness Theorems12:30 Discussion / collaboration at the interface of mathematics and philosophy13:00 Conclusion
Klasifikace
Druh
W - Uspořádání workshopu
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2025
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Místo konání akce
Plzeň, Fakulta filozofická ZČU, SP319
Stát konání akce
CZ - Česká republika
Datum zahájení akce
—
Datum ukončení akce
—
Celkový počet účastníků
50
Počet zahraničních účastníků
—
Typ akce podle státní přísl. účastníků
CST - Celostátní akce