Dr Mateusz Łełyk z Uniwersytetu Warszawskiego wspólnie z naukowcami z Polski i Austrii zrealizuje projekt w ramach konkursu Weave-UNISONO. Na przeprowadzenie badań otrzyma ponad 1,6 mln zł.
W ramach projektu pt. Miary złożoności strukturalnej dla teorii podstaw matematyki naukowcy dr Mateusz Łełyk oraz Dr techn. Dino Rossegger z Uniwersytetu Technicznego w Wiedniu, który pokieruje projektem po stronie austriackiej, zamierzają odpowiedzieć na pytanie, kiedy teoria podstaw matematyki ma model zamierzony i jakie są źródła tego zjawiska. Ponadto naukowcy będą badać, jakie własności mają modele „niezamierzone” i w jaki sposób można je odróżnić od tych pożądanych. W tym celu zastosują teorię Scotta, która do tej pory bardzo rzadko wykorzystywana była do badania podstaw teorii matematyki. Badacze przewidują, że ciekawym „produktem ubocznym” projektu może być wskazanie nowych własności teorii pierwszego rzędu, takich jak np. własność najprostszego modelu, które zapewnią intuicyjne i efektywne metody klasyfikacji teorii podstaw matematyki.
Wniosek był oceniany przez austriacką agencję Austrian Science Fund (FWF), a Narodowe Centrum Nauki zaakceptowało wyniki tej oceny w ramach współpracy w programie Weave.
Listy rankingowe Weave-UNISONO
Weave-UNISONO i procedura agencji wiodącej
Konkurs Weave-UNISONO to efekt wielostronnej współpracy między instytucjami finansującymi badania naukowe, skupionymi w stowarzyszeniu Science Europe. Został ogłoszony w celu uproszczenia procedur składania i selekcji projektów badawczych we wszystkich dyscyplinach nauki, angażujących badaczy z dwóch lub trzech krajów europejskich.
Wyłanianie laureatów opiera się na procedurze agencji wiodącej, w myśl której tylko jedna z instytucji partnerskich odpowiedzialna jest za pełną ocenę merytoryczną wniosku, pozostali partnerzy akceptują wyniki tej oceny.
W ramach programu Weave partnerskie zespoły badawcze składają wnioski o finansowanie równolegle do agencji wiodącej oraz do właściwych dla siebie instytucji uczestniczących w programie. Wspólny projekt musi zawierać spójne plany badań, wyraźnie ukazujące wartość dodaną współpracy międzynarodowej.
Konkurs Weave-UNISONO jest otwarty w trybie ciągłym. Zachęcamy zespoły pragnące podjąć współpracę z partnerami z Austrii, Czech, Słowenii, Szwajcarii, Niemiec, Luksemburga oraz Belgii-Flandrii do zapoznania się z treścią ogłoszenia konkursowego i składania wniosków.