Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 24-Nov-2021 10:49:06 JST きゅーけー

   これは数学基礎論の時代が到来したのでは(到来してない)

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 24-Nov-2021 10:49:56 JST きゅーけー

     in reply to

     数学者曰く、数学基礎論は衰退したらしいので悲しい。https://www.youtube.com/watch?v=1X8npQqoGkQ

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 24-Nov-2021 10:50:42 JST きゅーけー

     in reply to

     計算機科学の世界に数学基礎論はまだ生きている。数学基礎論の生き残りとして生きよう！

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 24-Nov-2021 10:52:37 JST きゅーけー

     in reply to

     数学基礎論を使えば 1 + 1 = 2 が何なのか 0 の 0 乗がは何故 1 なのか、その答えを導ける。しかし、数学者はそんなことは気にしないらしい。それでもコンピュータの上で定理証明をするには必要なはずだ。きっと数学基礎論は生き残れる！

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 24-Nov-2021 10:55:59 JST きゅーけー

     in reply to

     私は 1 + 1 が 2 だと足し算の意味を明確に定義すれば導くことができると知ったときは感動したんだ。きっと似たような感動を覚える人はたくさんいるはずだ。数学者が数学基礎論を求めなくても大衆は数学基礎論を求めるに違いない！