Trying to learn how to translate from the human translation examples.
From professional translators, enterprises, web pages and freely available translation repositories.
"l. e. j. brouwer: topologist, intuitionist, philosopher.
brouwer verwendete ihn, um „starke gegenbeispiele“ zum prinzip des ausgeschlossenen dritten anzugeben.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
Warning: Contains invisible HTML formatting
the interpretation of negation is different in intuitionist logic than in classical logic.
=== verhältnis des intuitionismus zur klassischen logik ===der intuitionismus als philosophische bzw.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
if one regards logic and mathematics in this way as a game, an intuitionist approach becomes a more plausible option.
fasst man logik und mathematik in dieser weise als spiele auf, so lässt sich zwanglos ein intuitionistischer ansatz als eine möglichkeit wählen.
Last Update: 2016-03-03
Usage Frequency: 2
Quality: