Exemples de traduction
Another version of formalism is often known as deductivism.
Toinen formalismin muoto tunnetaan deduktivismina.
In deductivism, the Pythagorean theorem is not an absolute truth, but a relative one: if one assigns meaning to the strings in such a way that the rules of the game become true (i.e., true statements are assigned to the axioms and the rules of inference are truth-preserving), then one must accept the theorem, or, rather, the interpretation one has given it must be a true statement.
Deduktivismissa Pythagoraan lause ei ole absoluuttinen vaan suhteellinen totuus: jos asetat merkkijonojen merkityksen siten, että pelin säännöistä tulee tosia (eli aksioomiksi tulee tosia lauseita ja päättelysäännöt ovat totuuden säilyttäviä), tällöin sinun on hyväksyttävä lause, tai paremminkin sille antamasi tulkinnan tulee olla tosi lause.
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test