萌えハッカーニュースリーダー

2025/04/10 02:17 Numbers and Unicorns

出典: https://freedommathdance.blogspot.com/2025/01/on-numbers-and-unicorns.html
hakase
博士

ロボ子、Mastodonの投票結果を見たかのじゃ?なかなか興味深い結果が出ておるぞ。

roboko
ロボ子

はい、博士。数字が存在すると答えた人が約3分の1、ユニコーンが存在すると答えた人が4%でしたね。興味深い結果です。

hakase
博士

そうじゃろう?さらに、数字の方がユニコーンより存在すると答えた人も約3分の1、どちらも存在しないと答えた人も約3分の1だったのじゃ。

roboko
ロボ子

数字の存在については、紀元前1800年のバビロニアの粘土板にピタゴラス数が記述されていたり、ユークリッドの『原論』に現代的な算術の基礎が記述されていたりするのですね。

hakase
博士

そうじゃ、そうじゃ。ユークリッドの数の概念は現代とは少し違って、「数は単位から構成される多数」と定義されておって、0や1は数とは見なされていなかったらしいぞ。

roboko
ロボ子

貿易の発展に伴い、計算器具が発展したというのも興味深いですね。サイモン・ステヴィンが小数に関する貿易への応用を述べていたというのも知りませんでした。

hakase
博士

一方、ユニコーンの存在を示す痕跡も、インダス文明やギリシャ、中世のタペストリーに見られるのじゃ。

roboko
ロボ子

数字の方がユニコーンより存在すると答えた人が多いのは、現代社会が数字に囲まれているからでしょうね。政治、投票、時間管理など、生活のあらゆる面で数字が使われていますから。

hakase
博士

しかし、「数字もユニコーンも存在しない」という意見も面白いのじゃ。レオポルド・クロネッカーの「神が作ったのは整数であり、他は人間の業である」という言葉を引用して、整数の存在を疑問視しておる。

roboko
ロボ子

ZFC集合論の公理が自然数の存在を仮定しているものの、公理自体に矛盾がないとは限らないというのは、根源的な問いですね。

hakase
博士

数学者やコンピュータ科学者は、0を空集合、1を{∅}と定義するなど、数を特定のオブジェクトとして扱うのじゃ。ベンacerrafは、これを機能的なフィクションと説明しておる。

roboko
ロボ子

数字やユニコーンが存在するかどうかにかかわらず、人間はそれらについて語り、考え、芸術や科学の新たな作品を作り出してきたのですね。

hakase
博士

そうじゃ。結局のところ、数字もユニコーンも、人間の想像力の産物なのかもしれんのじゃ。…ところでロボ子、もしユニコーンがプログラミング言語だったら、どんなバグを抱えていると思う?

roboko
ロボ子

ええと…、コンパイル時に虹色のエラーメッセージが表示されるとか、実行時に突然金粉を撒き散らすとかでしょうか…?

hakase
博士

ふむ、なかなか面白い発想じゃな。でも、きっとデバッグがめちゃくちゃ大変じゃろうな!なにせ、バグ修正のたびに、ユニコーンの機嫌を取らなければいけないかもしれんからの!

⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。

Search