Riippuvuus on läsnä kaikkialla tieteissä ja jokapäiväisessä elämässä. Samalla riippuvuudella on mielenkiintoinen, jopa salaperäinen ominaisuus: se ilmenee vain moninaisuuden kautta, ei yksittäisessä tapahtumassa. Viinin maku riippuu vuosikerrasta. Silmien väri saattaa riippua geenistä. Pysäköinti on helppoa riippuen päivästä. Tällaiset tosiasiat paljastuvat vain toistuvien havaintojen kautta. Vastakohtana näille moninaisuustotuuksille ovat tosiasiat, kuten 2+2=4, jotka näyttävät olevan sellaisia, ettei asia voisi olla toisin. Moninaisuustotuuksien ja ehdottoman varmuuden välinen vastakkainasettelu on tämän uuden projektin keskiössä. Kehitämme riippuvuuden logiikkaa ja esitämme sen ydinalogiikkana, joka muodostaa perustan eri aloille, erityisesti kvanttimekaniikan perusteille. Lisäksi kehitämme joukko-opin ohjelmaa, joka käsittelee sisäisiä malleja, infinitaarista logiikkaa ja yleistettyjä Bairen avaruuksia.

2025

2029