Kết quả tra cứu tiếng Nhât của từ チャーチ
チャーチ
チャーチ
〖Alonzo Church〗
(1903- ) アメリカの数学者・論理学者。 一階の述語論理の決定不可能性を証明するとともに, 計算可能な関数を帰納的関数で定義することを提唱。 また「記号論理学雑誌」を創刊し, 数学基礎論・記号論理学の発展に貢献した。
Từ điển Nhật - Nhật
チャーチ
チャーチ
〖church〗
キリスト教会。 教会堂。
Từ điển Nhật - Nhật