正しくても常に証明できるとはかぎらない。 ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。 チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着つきます。 2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。 「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある 、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです？　似てませんか？」（「プロローグ」より） 完全版　特別対談収録！ 加藤文元×竹内 薫 不完全性定理――数学と哲学の交差点から

2次元=平面世界(フラットランド)の住人に、3次元=空間世界(スペースランド)はどう映るのか? 4次元以上の世界は、どう想像できるのか?｢次元｣の本質をとらえた古典的名著、待望の新訳!アイドゥン･ブユクタシによる3次元の外へ誘う写真シリーズ《フラットランド》 特別収録

あなたが心の底で求めていたのは、数学や科学の「知識」ではなく、「知恵」そのものだったのではないか。「理系と文系は、そもそもどこが違うのか？」を入り口に、「論理的思考」の本質や「科学観」の育て方など、あなたの「理数センス」をサイエンス界の名ガイドが徹底的に磨き上げる。AI時代と最先端テクノロジーの捉え方や、研究不正といった科学のウラの顔の疑い方まで、現代を生き抜くための教養を一冊に凝縮。

2020年度、小学校でのプログラミング教育の必修化を控え、親御さんもプログラミングについて知っておく必要性が高まっています。しかし、 「子どもがプログラミングを学ぶメリットって何？」 「プログラミング能力を育てるにはどうしたらいい？」 など、プログラミング教育にまつわる疑問を持つ人は少なくありません。多くの親御さんがプログラミング教育を受けたことがないからです。 そこで本書では、自身で設立したフリースクールでプログラミング教育を実践する、人気サイエンス・ライター竹内薫氏が、プログラミングの基礎知識から、家庭でもできるプログラミング教育、おすすめの教材までをていねいに解説します。 実は、親世代が受けた教育の「常識」は、プログラミング教育の「非常識」なのです！ ・「勉強しなさい」「ゲームをやめなさい」は逆効果 ・「答え合わせ」の勉強はいますぐやめましょう ・身体性を鍛えることも重要 「プログラミングができる子」になるか・ならないかは、子どもの将来の生活に大きく影響します。 本書を読めば、知識ゼロの親御さんでも、プログラミング教育で押さえておくべきポイントがわかります。

現代物理学の奇才=ロジャー･ペンローズの宇宙観を、エキサイティングに解きほぐす――。相対論と量子論の"はざま"に生まれた鬼っ子｢スピノール｣。この奇妙な"物体"を無数に集めてネットワーク化すると、そこに｢時空｣が生まれる!? 宇宙の終わりに｢次の宇宙｣の始まりがある世界。相対論と量子論は、果たして｢ねじれた四次元｣で邂逅するのか。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 「誰でも宇宙旅行時代」はもうすぐ！ 民間人だけの宇宙飛行が実現したり、火星も目指せる超大型ロケットが開発されたり、世界企業が続々と宇宙開発に乗り出したり、特別な人でなくても“宇宙に行くこと”がより現実的になってきました。いま申し込める宇宙旅行プランにはどんなものがあるのか？ いつごろ人類は当たり前に宇宙へ行けるようになるのか？ 解決すべき課題にはどんなものがあるのか？ 元宇宙飛行士の山崎直子さんとサイエンス作家の竹内薫さんが、わかりやすく解説してくれます。

科学で面白いのは"最前線"!未解決問題への挑戦には、知的興奮と人間ドラマが詰まってます。「超ひも問題」「大量絶滅」「タイムマシン」など、科学を横断する12のテーマであなたの世界観をガラリと変える1冊。

幻覚とは外的現実がまったくないのに生まれる知覚、つまりそこにないものを見たり聞いたりすること。しかしサックスによれば、幻覚は狂気の徴候でも不名誉なことでもなく、それは他に類のないカテゴリーの意識であり、精神生活であるらしい。驚くべき、しかし人間のありようの根幹を伝える実例について共感をもって語る、サックス待望の医学エッセイ最新作。

【本電子書籍に掲載されている情報は原本刊行時点のものです。紹介されている音声などは予告なく終了する可能性がございます。予めご了承ください。】「こんな方法があったのか！！」茂木健一郎氏、大推薦！　海外経験ゼロでも、普通の大人でも、短期間で「本当に使える英語」が身につく方法を大公開！　本書では、翻訳書も多数手がけ、英語力に定評のあるサイエンス作家が、大人でも簡単にスラスラと英語が話せるようになる「絶対法則」を伝授します。「What time is it？（いま何時かな？）」「You are so funny！（笑っちゃう！）」など、超簡単な子どもの英語を「聞いて、真似する」だけで、自然とネイティブの英語が聞きとれ、また話すことも可能になるのです。「間違った英語教育によって、単語を何千個も覚えて、文法もマスターしたのに、海外旅行やビジネスシーンで、簡単な英語がしゃべれなくて悔しい思いをしている日本中の「英語難民」のみなさんに、最大効率の英語習得法を伝えたい！」（本書「私がこの本を書いた理由」より）「時間をかけず効率的に英語を習得したい」「ネイティブと会話ができるようになりたい」という方、必読の一冊！　無料音声ダウンロード付。

もしもあなたが猫だったら？　もしもテレポーテーションされてしまったら？　もしもブラックホールに落ちてしまったら？　現実にとらわれず、科学的推論だけを根拠に思考を羽ばたかせれば、今までとは違う世界が見えてくる。そんな「思考実験」＝脳内シミュレーションは、刺激的なゲームであると同時に、科学的思考法を身につける絶好のトレーニングだ。「もしも」の世界に遊びながら、思考実験のプロセスを味わおう。

従来のダイエットに多い「カロリー制限」「低脂肪食品」「有酸素運動」はすべて無意味だった！ 「タンパク質と脂肪が豊富で炭水化物が少ない食物」を好きなだけ食べて、心身の健康を高めるダイエット法を紹介する。英国ベストセラー。

宇宙の「果て」はどうなってるの？　宇宙の始まりはビッグバンじゃないって本当？　ニュートリノって何？　重力波って見えるの？　などなど、子どもが抱く「宇宙に関するあらゆる疑問」を竹内薫先生が徹底解説。宇宙の原理から衝撃的な最新仮説まで、マンガをまじえてわかりやすく説き尽くす最強の入門書です。文系パパママでも、これを読めば“理系親子”になれること間違いなし！

自分の好きな世界に没頭しすぎて、極端な行動に走りやすい「理系バカ」。一方で、他人の情報を鵜呑みにして、その場の空気に流されやすい「文系バカ」。彼らの行動パターンから見えてくる思考の偏りとは?　本書では「文系」「理系」という垣根をとっぱらった、バランスのとれた知性のあり方を考える。前半では「理系バカ」「文系バカ」の事例を、ユーモアを交えて紹介。例えば、文系バカの典型タイプとして「取扱説明書は困った時にしか読まない」「ダイエットのためにカロリーオフ飲料をガブ飲みする」等々。一方の理系バカは「できれば他人と深く関わらないで生きてゆきたい」「新型商品を買うために徹夜して並ぶ」「意外とオカルトにハマりやすい」等々。あなたはどちらのタイプか?　後半は、特に理科離れが著しい日本の現状を警告。教育、政治、メディアにおける科学の啓蒙について具体策を提案する。二つの世界を渡り歩く著者だからこそ知っている「文理融合センス」の磨き方。

量子力学の原理を使って複数の計算を同時に行い、スパコンを圧倒的に凌ぐ計算能力を持つ量子コンピューター。少し前まで「実現はするのは百年後」と目されていたが、2011年、カナダのD‐Wave社が突然、量子コンピューターの発売を発表。当初はその真偽が疑問視されていたが、2013年にGoogle、NASAが導入を決定。この快挙、実は日本人が開発した「量子アニーリング」方式の賜であった。暗号を軽々と解き、航空機のバグを即座に見つけ、今後社会をがらりと変えていく夢の計算機。量子コンピューターの凄さを、文系も楽しめるように基礎の基礎から解説する。

2045年、人工知能（AI）は人類を超える――そのとき現出するのは『ターミネーター』のディストピアか、『鉄腕アトム』の未来か？　あなたは、あなたの子や孫は、あなたの会社は、AIの奴隷となる運命なのか？　日本随一の科学ナビゲーター竹内薫がプログラマーだった過去を告白しつつ、意外な予想図と対処法、そして我々の生き残り戦略を指し示す。わが子と日本の未来を悲観し、絶望する前に読むべき一冊。

あなたも映画「マトリックス」の世界にいる！ と気づくことになる イーロン・マスクを魅了した未来地図 「シミュレーション仮説」とは？ ホーキング博士も、現実は50％だと考えた！ 〝あなたの世界観はガラリと変わる！″ 【レビュー】 人類が『マトリックス』のようなシミュレーションの中にいないと、どうしてわかるのだろうか。 ――「ガーディアン」誌 バークは（中略）多次元宇宙、量子不確定性、そして――怖くなるか安心するかは別として――私たちが認識する現実は実のところ巨大なシミュレーションの一部であるという可能性について、説得力と洞察力に富む道案内を行っている。 ――「パブリッシャーズ・ウィークリー」 本書は重要な１冊である。なぜなら、私たちを取り巻くものはすべてシミュレーションであるというアイデアに、真剣に、深く踏み込んでいるからだ。このアイデアについてどのような意見を持っているとしても、本書はそれをもう一度考えるきっかけを与えてくれるだろう。だからこそ、本書は注目に値するのだ。 ――ジミー・ソニ（『A MIND AT PLAY』クロード・シャノンの評伝の著者) 【本書の内容】 パートⅠ　マトリックスの作り方 〈コンピュータサイエンス〉 パートⅡ　シミュレーションは私たちの世界をいかに説明するか 〈物理学〉 パートⅢ　シミュレーションは未解明の現象をいかに説明するか 〈神秘思想〉 パートⅣ　諸説の統合