記事の内容 今回の記事では、「圏論の道案内」という本を紹介する。 皆さんは、圏論という数学を聞いたことはあるだろうか？ 圏論ってどこか面白そうだぞという人に、さらに興味を持ってもらえるような記事にしたい。 初心者でも、抽象的な圏論の世界の香り…

記事の内容 ゲーデルの不完全性定理について、私は数冊本を読んでいる。今回は、とある一冊の内容をまとめたい。 「不完全性定理」に興味がある人におすすめな記事になる。 今回紹介する本は、野崎昭弘氏の「不完全性定理 数学的体系のあゆみ」だ。 タイトル…

記事の内容 「論理」というものは、どのように研究されてきたのだろうか？？ ・論理と数学の関係は？ ・論理と哲学の関係は？ ・論理と私たちが使う言語の関係は？ などなど、興味は尽きない。 「論理」という対象に、どこか興味を惹かれる人もいると思う。 …

記事の内容今回の記事では、「問題解決のPythonプログラミング 数学パズルで鍛えるアルゴリズム的思考」という本で紹介されている簡単な数学パズルを解きたいと思う。難易度も優しく、基礎的なコードを知っていれば楽しむことができる。 プログラミング初心…

記事の内容 今回は橘玲氏の「読まなくてもいい本」の読書案内という本を紹介する。 その内容は、現代を生きる上で押さえておくべき科学の成果をまとめたものだ。それらは、社会科学まで及び、我々が今の社会を考える重要な道具になる。 現代は情報がとにかく…

記事の内容 「論理について頭を悩ませたことのある人に、そして将来頭を悩ませる人に本書を捧げる」 今回紹介する本の冒頭に記されている言葉だ。 この一言に、すでにもう惹かれている人もいるのではないか？ 現在、本屋に行けば、論理的思考の重要さをうた…

記事の内容 ・数学はどのように誕生してきたのか？ ・宗教と数学の関係とは？ ・人、社会、経済を貫く数学の論理とは？ ・数学のキモとは何か？ 数学、皆さんは好きでしょうか？ 義務教育で教わる数学は、計算練習ばかりですね。 しかし、数学の本質とは「論…

遊戯王って楽しいし、頭も鍛えられる！！ 突然ですが、遊戯王というカードゲームを知っていますか？ そして、やっていて「頭も鍛えられるじゃん！」と感じたことはないでしょうか？ 私自身、そう感じています。楽しみながら頭も鍛えられるカードゲームってす…

記事の内容 ・チューリングのどんなアイデアが、コンピュータサイエンスの基礎になっているのか ・AIには何ができて何ができないのか ・「計算する」とはどういうことか ・万能チューリング機械でも、「計算できない問題」とは何か コンピュータの発展は、現…

記事の内容 ・映画イミテーションゲームの感想、解説、見所を知りたい・チューリングという人物について・チューリングマシンの概要・学問としての背景はどうなっているんだろう 映画そのものの良質な解説記事はたくさんある。 今回の記事では、映画の解説を…

はじめての数理論理学 証明を作りながら学ぶ記号論理の考え方 今回紹介したい本がこちら。画像クリックでAmazonへ飛べます！ 論理とは何かを追求する人が行き着くところが「論理学」。 しかし、なかなかとっつきやすい入門書がない。 今回の本は、高校生でも…

本記事のイシュー 新しい概念を学ぶとき、どうすれば分かりやすくイメージできるか 新しい概念と出会った時、あなたはどう学ぼうとするでしょうか？ 私は、何か新しい対象に出会った時、「なんとかもっとこいつと楽しめないかな〜」と、日頃から感じていた。…

なぜデータ分析が重要なのか？ ビジネスでもデータを活用しろ！ データサイエンスを必修にしろ！ 最近、このような動きが社会で進んでいると思います。 しかし、どうしてデータ分析は大事なのでしょうか？ それには、様々な理由がありますが、大きな理由の一…

「トートロジー」という言葉、使っていますか？ 「それってトートロジーだよね。」 このように、「トートロジー」という言葉、耳にする機会があるかもしれません。 そんなトートロジーという言葉、正しく使えている自信はあるでしょうか。 日常会話での使い…

FACTFULNESS(ファクトフルネス) 世界を正しく知るために みなさんは、「ファクトフルネス」という本を知っているでしょうか？ データを使って世界を正しく見るために、新しい枠組みを提供してくれる本です。 この本の中では、世界のデータについての質問が用…

記事の内容 ミステリー小説と数学書 みなさんは、ミステリー小説は読みますか？ もっと極上なものを探したいと思ってはいませんか？ 最高のミステリー小説として、ある本を私は紹介したいのです。 それは、数学書です！ なぜなら、それら２つは似ているとこ…

記事の内容 不完全性定理に興味ある人へ 「ゲーデルの不完全性定理」という言葉、みなさんは聞いたことがあるでしょうか。 簡単に言うと、その名前の通り、数学（の一部）におけるある限界を示した定理です。私自身、この定理の存在を知って以来、その英知の…

ナイスな出会い こんにちわ、メタです。 今回は、古本屋にてずっと欲しかった本を見つけることができたので、紹介します。 「不完全性定理」についての2冊です！！ やっと発見できました、嬉しいーーー 本屋の利点 ちゃんと欲しいという動機を持ちつづければ…

論理って？推論って？ 「論理」って何か説明できるでしょうか？ はっきり言ってかなり難しい。論理の意味を分かりやすく知りたい人に向けて書きます。論理的になりたい人にも役立つかもしれません。 ・論理の根本ってなに？ ・推論の正しさは何によって決ま…

人類の英知と真の自由さ こんにちわ、メタといいます。 Follow @kyogoku_meta 私がこれまで生きてきて、本当に度肝を抜かれたアイデアたちを紹介したい。初めてそれらアイデアに触れたとき、本当に脳汁がドボドボだった。体も心底震えた。 そして、それほど…

不完全性定理に興味ありますよね...? コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ- 作者: 照井一成 出版社/メーカー: 青土社 発売日: 2015/02/24 メディア: 単行本 この商品を含むブログ (11件) を見る こちらのページでま…

なぜ行列を使いたいのか？ 行列を使うとたくさんの連立方程式を一つの式で表せる。行列表記がとても便利。 リストとベクトルは違う！ a0 = [1,2,3] + [1,2,3] >>[1, 2, 3, 1, 2, 3] ベクトルはnumpyで import numpy as np x1 = np.array([1,2,3]) print(x1) …