Att försöka lära sig översätta från mänskliga översättningsexempel.
Från professionella översättare, företag, webbsidor och fritt tillgängliga översättningsdatabaser.
"l. e. j. brouwer: topologist, intuitionist, philosopher.
brouwer verwendete ihn, um „starke gegenbeispiele“ zum prinzip des ausgeschlossenen dritten anzugeben.
Senast uppdaterad: 2016-03-03
Användningsfrekvens: 2
Kvalitet:
Varning: Innehåller osynlig HTML-formatering
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.
Senast uppdaterad: 2016-03-03
Användningsfrekvens: 2
Kvalitet:
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.
Senast uppdaterad: 2016-03-03
Användningsfrekvens: 2
Kvalitet: