Non-intuitionistic
Übersetzung von "non-intuitionistic" ins Russisch
non-intuitionistic
Adjektivnon-intuitionistic
В логике; противопоставляется интуиционистскому подходу
Classical logic is considered a non-intuitionistic system because it accepts the law of excluded middle.
Классическая логика считается неинтуиционистской системой, поскольку принимает закон исключённого третьего.
Definitionen
non-intuitionistic
AdjektivNot based on, adhering to, or consistent with intuitionistic logic; classical or otherwise rejecting intuitionistic principles such as the law of excluded middle.
Classical logic is considered a non-intuitionistic system because it accepts the law of excluded middle.