＜比較＞背理法（帰謬法） ◆『いかにして問題をとくか』では― 帰謬法は、間違った仮定から、著しく不合理な結論を導いて、その仮定の誤りであることを示すことである。 ≪誤りに帰着させる≫ことは数学的な...

未知の問題に出会った場合どのように考えたらよいか、問題を解くすじみちを、数学者として著名なポリア教授が、やさしい数学を例にとって興味深く説明。新しい創造力に富んだ発想法、考え方を本書はあざやかに示す。 ...

個々の命題は独立に確証されることはない、一つの集まりとしてのみ検証されるのだ——ホーリズムの立場から分析哲学に新たな地平を拓いたクワインの思考を、平易に丹念に解説。

論理的に整理された思考方法と証明技法を解説。 数学者が意識せず行っている証明のしかたを学べる。 証明は数学を支える土台で、それを築くのは論理的思考です。論理的思考は広い意味でいえば日常生活を送る...

論理パズルの泰斗スマリヤンの珠玉のパズル集、待望の全訳。 古典的な「正直者と嘘つきのパズル」を徹底的に深化させた著者独特のパズルを解き進めるうちに、いつの間にかゲーデルの不完全性定理へと誘われている。...

東京五輪は、開催か、中止か？ 世界はどう見ているか？ 今、世界の人々が、反対の声をあげている！ 今後、五輪はどうなるのか？ 東京五輪の7月開催はかなり危うくなり、反対の声も高まっている。...

見開きでまとまった簡潔な構成と、適度にデフォルメされたイラストで、複雑なしくみやはたらきをわかりやすく学べる「イラスト授業シリーズ」第9弾。 あらゆる分野の学術研究の根幹ともいえる哲学は、長い歴史...

還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、論理関係の教科書に見られない内容を扱い初歩から解説。

とかく無味乾燥な叙述に終りがちな整数論を原著者独特の解説により平易にまとめた好解説書。『共立全書517.整数論入門』として1959年初版発行後，以来，長年にわたり多数の読者にご愛読いただいてまいりました...