人気の記事一覧

#86 恋と禁忌の述語論理

3か月前

ゲーデルの知行合一

2週間前

【東工大院試用】オートマトン・数理論理学のまとめ

有料
300
4か月前

やはりクリプトヘッドは持続的な読者を獲得するにはいかなかったか。ここでは秘密鍵暗号の数理をやってもほとんど視聴者がいないだろうし、出来上がっても宣伝のしようがない。スパコンやってるの富士通だけなんだ。富士通すげえ!東芝もやればいいのに。カリーハワード対応!暗号は何を証明している?

1か月前

研究テーマと今の立ち位置

論理学とは何か:鹿島亮『数理論理学』を読んでいる①

【東工大 情報工学系 院試】数理論理学&オートマトンと形式言語の勉強法

6か月前

【宿題帳(自習用)】情報の力を獲得するために心と情報との付き合い方を再考してみる(その3)

8か月前

書記の読書記録#1066『スマリヤン 数理論理学講義』(上下巻)

6か月前

数学を使わない数学の講義/小室直樹【本要約・ガイド・目次】

論理学とは何か:鹿島亮「数理論理学」②ー不完全性定理、シークエント計算、直観主義論理ー

「自然演繹100本ノック」をシークエント計算で解こう

[高校生や学部生の方へ]論と計の科学とは何なのか、そしてそれは高校生・学部生のあなたに何を与えるのか?

日記(2023/10/3):今まで作って来た数学読書要約の図を整理していたが、一里塚までは行ったので、おめでとう、という気持ち_2

7か月前

【短歌とエセー】令和5年6月9日

10か月前

論計舎の紹介

書記の読書記録#705『数理論理学 (現代基礎数学)』

数理論理学の概略と特徴

chatGPTによる不完全性定理に関する解説を添削してみる

有料
100

定領域公理にかんする古典述語論理の自然演繹の導出図

有料
100