2023-03-06から1日間の記事一覧
数学を専門にしていない人にも開かれた数学と数学する人をめぐっての軽快かつ情緒のある世俗批評。チューリングと岡潔がメインだか、その前段で語られる数学の形式化と基礎づけに関する危機の歴史の語り方が興味深い。数を数える数学の発生にはじまり、心と…
数学を専門にしていない人にも開かれた数学と数学する人をめぐっての軽快かつ情緒のある世俗批評。チューリングと岡潔がメインだか、その前段で語られる数学の形式化と基礎づけに関する危機の歴史の語り方が興味深い。数を数える数学の発生にはじまり、心と…