タグ数学基礎論を含む動画:5件 1ページ目を表示
2024年6月19日 07時10分に生成された05時00分のデータです
2024-03-17 19:00:00
直観主義論理の気持ち @第29回日曜数学会お酒を飲みながら数学の話をするイベント「日曜数学会」。そのメイン企画である数学LT(5分間の発表)の部分を、抜粋してお送りします。
日曜数学会は、年3回(1月、6月、10月)の開催予定です。ご興味のある方は、ぜひコミュニティ登録やTwitterフォローをお願いします。
コミュニティ:co3098377
日曜数学会マイリスト:mylist/54162119
Twitter:https://twitter.com/nichimath
発表タイトル:直観主義論理の気持ち
発表者:キグロ
発表資料等:https://kakuyomu.jp/works/16817330668267473152
※第29回日曜数学会は、オンラインとオフラインのハイブリッド開催を致しました88888888888888888 Null含めなきゃいけないもんな ほなウカシェヴィチの方かー(wikipedia見ながら) 逆だったかもしれねェ クリーネの3値論理?(未定義を残した論理) T/F 神憑りの翻訳家はいつも大変 Minnie The...
- 401
- 133.2
- 112.7
- 20.5 YouTubeで検索
2022-05-29 23:27:03
【数学】数の創造【ソフトウェアトーク理工サイド交流祭】ソフトウェアトーク理工サイド交流祭になんとか間に合ったぜ。
その代わり雑になってしまったぜ。おつ {0,2}とかできるのかな 人は実数だったのか... ゼロって自然数なのか マイケルw 休もう wwwww 連続体仮説? 難しいのう 合間合間のセリフは何ゾ?(無知) \emptyset \neq \Phi
- 340
- 154.4
- 329.4
- 00.0 YouTubeで検索
2024-04-02 22:03:02
集合ではない集まり!?クラスのはなし間違いなどあれば教えてください
累積的階層Rで定義による拡張をするのが一番短く表せるかなほう
- 141
- 32.1
- 53.5
- 32.1 YouTubeで検索
2024-02-21 23:30:02
子どもを数学キライにさせない3つの方法子どもを数学キライにさせない3つの方法
- 43
- 00.0
- 00.0
- 12.3 YouTubeで検索
2024-01-07 17:54:02
基礎と応用【のぞき見!ガチ数学】数学基礎論と応用数学の話です。
- 20
- 00.0
- 00.0
- 15.0 YouTubeで検索