検索ワード: intuitionist (英語 - ドイツ語)

"l. e. j. brouwer: topologist, intuitionist, philosopher.
brouwer verwendete ihn, um „starke gegenbeispiele“ zum prinzip des ausgeschlossenen dritten anzugeben.

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.

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.