Hae
Aineistot 1-1 / 1
Peanon aritmetiikan todistuvuuden modaalilogiikka
(Turun yliopisto, 2018-09-24)
Tutkielmassa tarkastellaan miten alunperin välttämättömyyden ja mahdollisuuden
tutkimiseen kehitettyä modaalilogiikaa voidaan hyödyntää matemaattisen formaalin
järjestelmän todistuvuuden tutkimisessa. Tätä modaalilogiikan ...