キャンペーン

「論計舎講義「ゲーデルの不完全性定理」テキスト・動画セット」割引キャンペーン

キャンペーンの内容と特典

本キャンペーンでは2024年09月中のご購入にかぎり、論計舎講義「ゲーデルの不完全性定理」テキスト・動画セットを10万円でのご提供のところを3万3千円 (税込) にてご提供させていただきます。なお、お支払い方法は銀行振込となります。

「論計舎講義「ゲーデルの不完全性定理」テキスト・動画セット」について

一階述語論理に健全性・完全性の証明をしたことがある方を念頭に、二つの不完全性定理の証明をできるだけ詳細にお伝えしつつ、その証明に最短で到達する講義です。

構成は、以下からなります。

オリジナルテキスト
YouTube上限定公開の講義動画
講義で用いたスライド
また、テキストの講義対応部分から講義動画へリンクされるようになっております。

省略されがちなコード化の議論などをある程度は丁寧に紹介しますが、定理の性質上、無尽蔵に丁寧さを増すことができますので、適切に区切ってあります。

ご購入用フォーム

講義概要

Speaker

川井新 (Shin Quawai)

論計舎主催・講師。論理と計算の関わりに関心をもち、在野研究者として活躍中。他に哲学的論理学も専門とする。RIMS共同研究にて口頭発表2回。論理学友の会発起人。指導実績のある分野に、線形代数、微分積分学、数理論理学。ウィスキーと珈琲を好む。

Requirements

一階述語論理の健全性・完全性の証明の理解。

Course Objectives

数理論理学の基本定理で一つの大きな達成である、ゲーデルの不完全性定理を理解する。ここでいう理解とは、背後の基本的な考え方・発想および数学的な技法を含むものである。

この技法は、不完全性定理にかぎらず、チューリングおよびチャーチそれぞれによる実行的に解けない数学の問題の存在を示した業績などでも使われたものである。

Schedule

Historical Backgrounds
Proof Theory: Quick Installation
Proof Theory: Details and Examples
Computability: Quick Installation
Church-Turing Thesis
An Introduction to Incompleteness
The First Incompleteness Theorem
The Secound Incompleteness Theorem

過去のキャンペーン

7月から始まるキャンペーン「若者応援学割チューターキャンペーン」

すでに3名様のご契約をいただきましてただいま、本キャンペーンの募集は行なっておりません 。

7月からは、「若者応援学割チューターキャンペーン」が始まります。

キャンペーンの内容と特典

キャンペーンでは、セッション・コースを学割価格75%引きにてご提供させていただきます。
本キャンペーンは、 当月7月に限ったものではありませんが、先着3名様まで とさせていただきます。
つまり、月4セッションで2万2千円 (税込) 、月2セッションで1万6千500円 (税込) でのご提供です。ただし、月のセッション数はこの二通りのみです。
応募資格は、中高生、学部生相当の年齢の方 とさせていただきます。お申し込みの際にフォームのお問い合わせ内容の部分にその旨を記載の上、相談通話時に確認できるものをご用意ください。
学校のemailアドレスがある方はそちらをフォームにご記入いただけるとスムースです。

応募方法：

フォームに必要事項を記入
お問い合わせ内容に「学割希望」と記載
相談通話時に学生証などを確認

学校のemailアドレスをお持ちの方は、フォームにご記入いただくとスムーズです。

6月から始まる「証明力強化キャンペーン」

2024年6月から、論計舎では「証明力強化キャンペーン」をスタートします。このキャンペーンは、数学の基本である証明の読み書き能力を徹底的に磨くことを目的としています。論理的思考力の向上に不可欠なこのスキルは、あらゆる数学的問題解決に役立ちます。

何より数学を大人の趣味に選ぶと、知識の海への終わりなき冒険が始まります。数学には目標があっても終わりがない、その魅力を感じませんか？基本的な考え方を学ぶためには、人から学ぶことが有効です。本キャンペーンでは、数学の基本的な考え方である 「証明の読み書きの能力」 を伝えます。