Projekty finansowane przez NCN
Matematyzowane teorie naukowe i podstawy matematyki stosowanej
2020/39/B/HS1/02020
Słowa kluczowe:
Teoria mnogości z atomami stosowalność matematyki logika matematyczna niezbędność matematyki
Deskryptory:
- ST1_001: Logika i podstawy matematyki
- HS1_004: Logika, metodologia nauk, filozofia nauki
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Filozofii
woj. mazowieckie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 1
Konkurs: OPUS 20 - ogłoszony 2020-09-15
Przyznana kwota: 751 520 PLN
Rozpoczęcie projektu: 2021-06-09
Zakończenie projektu: 2025-08-08
Planowany czas trwania projektu: 50 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (3)
- Publikacje książkowe (1)
- Standard FormalizationAutorzy:Jeffrey KetlandCzasopismo:Axiomathes (rok: 2022, tom: 32, strony: 711-748), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s10516-022-09625-3 - link do publikacji
- Axiomatization of Galilean SpacetimeAutorzy:Jeffrey KetlandCzasopismo:Dialectica (rok: 2023, tom: 77, strony: 153--202), Wydawca: Wiley Online LibraryStatus:OpublikowanaDoi:10.48106/dial.v77.i2.02 - link do publikacji
- Boolos's Curious Inference Formalized in Isabelle/HOLAutorzy:Jeffrey KetlandCzasopismo:Archive for Formal Proofs (rok: 2022, tom: 1, strony: 46041), Wydawca: Cambridge University PressStatus:OpublikowanaDoi:isa-afp.entries/Boolos\_Curious\_Inference.html - link do publikacji
- Autorzy:Jeffrey KetlandKsiążka:The Application of Mathematics (rok: 2026, tom: Book, strony: 1-284), Wydawca: Cambridge University PressStatus:Przyjęta do publikacji