Role teorie množin v moderní matematice
Cíle projektu
Projekt zhodnotí roli a výhled teorie množin v moderní matematice, jak z filozoficko-historického tak matematického hlediska, a identifikuje oblasti matematiky, kde může teorie množin přispět k řešení otevřených problémů nebo má potenciál najít nové metody k řešení těchto problémů. Project dále kriticky zhodnotí alternativní rámce pro základy matematiky, jakou jsou teorie kategorií nebo teorie typů, z hlediska jejich filozofických a historických motivací a bude zkoumat potenciál jejich použití v matematice a srovná jej s potenciálem teorie množin.
Klíčová slova
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
SGA0202400001
Hlavní účastníci
Univerzita Karlova / Filozofická fakulta
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
24-12141S
Alternativní jazyk
Název projektu anglicky
The role of set theory in modern mathematics
Anotace anglicky
The project will evaluate the role and prospects of set theory in modern mathematics, both from the philosophical/ historical and mathematical perspectives, and will identify areas where set theory has potential to resolve open problems or potential to open new approaches to solving them. Morever, it will critically evaluate alternative foundational frameworks such as category theory and type theory from the point of philosophical and historical motivations and explore their prospects in modern mathematics and compare them with those of set theory.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
10101 - Pure mathematics
OECD FORD - vedlejší obor
60301 - Philosophy, History and Philosophy of science and technology
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory
(dle převodníku)AA - Filosofie a náboženství
BA - Obecná matematika
Termíny řešení
Zahájení řešení
1. 1. 2024
Ukončení řešení
31. 12. 2026
Poslední stav řešení
B - Běžící víceletý projekt
Poslední uvolnění podpory
19. 3. 2024
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP25-GA0-GA-R
Datum dodání záznamu
21. 2. 2025
Finance
Celkové uznané náklady
5 121 tis. Kč
Výše podpory ze státního rozpočtu
5 121 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
5 121 tis. Kč
Statní podpora
5 121 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
OECD FORD
Pure mathematics
Doba řešení
01. 01. 2024 - 31. 12. 2026