最終更新日：2025/12/31
例文
The
laws
of
Heyting
algebra
embody
a
rich
and
profound
mathematical
structure
that
is
manifest
in
a
variety
of
contexts.
It
arises
from
the
epistemological
deliberations
of
Brouwer,
the
topologisation
(localisation)
of
set-theoretic
notions,
and
the
categorial
formulation
of
set
theory,
all
of
which,
although
interrelated,
are
independently
motivated.
The
ubiquity
lends
weight,
not
to
the
suggestion
that
the
correct
logic
is
in
fact
intuitionistic
instead
of
classical,
but
rather
to
the
recognition
that
thinking
in
such
terms
is
simply
inappropriate
—
in
the
same
way
that
it
is
inappropriate
to
speak
without
qualification
about
the
correct
geometry.
復習用の問題
The laws of Heyting algebra embody a rich and profound mathematical structure that is manifest in a variety of contexts. It arises from the epistemological deliberations of Brouwer, the topologisation (localisation) of set-theoretic notions, and the categorial formulation of set theory, all of which, although interrelated, are independently motivated. The ubiquity lends weight, not to the suggestion that the correct logic is in fact intuitionistic instead of classical, but rather to the recognition that thinking in such terms is simply inappropriate — in the same way that it is inappropriate to speak without qualification about the correct geometry.
音声機能が動作しない場合はこちらをご確認ください
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
