最終更新日：2026/01/01
例文
The
fact
that
we
eventually
reach
a
formulation
free
from
logic
(in
terms
of
functional
analysis)
does
not
invalidate
the
use
of
logical
tools:
in
fact
the
simplest
way
to
prove
termination
(i.e.
nilpotency)
will
always
be
standard
logical
manipulation,
"symbol
pushing";
but
the
existence
of
a
model
for
this
symbol
pushing
obviously
brings
in
new
methods,
insights,
etc.
復習用の問題
The fact that we eventually reach a formulation free from logic (in terms of functional analysis) does not invalidate the use of logical tools: in fact the simplest way to prove termination (i.e. nilpotency) will always be standard logical manipulation, symbol pushing
; but the existence of a model for this symbol pushing obviously brings in new methods, insights, etc.
音声機能が動作しない場合はこちらをご確認ください
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
