Traduzione per "of prove" a finlandese

Of prove

• of osoittautua
• todistamaan

Esempi di traduzione.

todistamaan

The second is that if such a system is also capable of proving certain basic facts about the natural numbers, then the system cannot prove the consistency of the system itself.
Gödelin toinen epätäydellisyyslause osoittaa, että jos jokin ristiriidaton aksioomajärjestelmä pystyy todistamaan tietyt perusasiat luonnollisista luvuista, se ei pysty todistamaan kyseisen aksioomajärjestelmän täydellisyyttä.

The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an "effective procedure" (e.g., a computer program, but it could be any sort of algorithm) is capable of proving all truths about the relations of the natural numbers (arithmetic).
Gödelin ensimmäinen epätäydellisyyslause sanoo, että mikään ristiriidaton aksioomajärjestelmä T, jonka kaikki todet lauseet voidaan luetella jollakin "tehokkaalla menetelmällä" (olennaisesti: "tietokoneohjelmalla"), ei pysty todistamaan kaikkia tosiasioita luonnollisista luvuista.