来自专业的译者、企业、网页和免费的翻译库。
"l. e. j. brouwer: topologist, intuitionist, philosopher.
brouwer verwendete ihn, um „starke gegenbeispiele“ zum prinzip des ausgeschlossenen dritten anzugeben.
最后更新: 2016-03-03
使用频率: 2
质量:
警告:包含不可见的HTML格式
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.
最后更新: 2016-03-03
使用频率: 2
质量:
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.
最后更新: 2016-03-03
使用频率: 2
质量: