Riippuvuuslogiikka ja sen sovellutukset tieteen no-go paradokseihin
Rahoitetun hankkeen kuvaus
Tutkimuksen tavoitteena on määrittää kvanttifysiikan, sosiaalisen valinnan teorian ja tietokantateorian yhteinen looginen perusta käyttäen apuna riippuvuuslogiikkaa, joka kehitettiin Suomessa vuonna 2007.
Näytä enemmänAloitusvuosi
2020
Päättymisvuosi
2023
Myönnetty rahoitus
Muut päätökset
336283
Akatemiatutkijan tutkimuskulut(2020)
240 000 €
Muut tiedot
Rahoituspäätöksen numero
330525
Tieteenalat
Matematiikka
Tutkimusalat
Puhdas matematiikka
Tunnistetut aiheet
humanities