論計舎代表講師かわいによる「ラッセルのパラドックスの検討〜素朴包括原理とコントラクション」という動画です。 第4回 #論計祭 での発表のアーカイブです。ラッセルのパラドックスをただ回避するのでなく、その内実を検討しています。 youtu.be/90DImlQ8osg

論計舎代表講師かわいによる「ラッセルのパラドックスの検討〜素朴包括原理とコントラクション」という動画です。 第4回 #論計祭 での発表のアーカイブです。ラッセルのパラドックスをただ回避するのでなく、その内実を検討しています。 youtu.be/90DImlQ8osg

論計舎が提供する #論計祭 は、数理論理学・理論計算機科学という「論と計の科学」を中心としつつも、コンピューターサイエンス、哲学、言語学、法学など様々な意味での 「論と計の科学」 に興味を持った方々に発表の機会を提供するとともに論計舎内外の講師講演を行う場を、意図しています。

論計舎が提供する #論計祭 は、数理論理学・理論計算機科学という「論と計の科学」を中心としつつも、コンピューターサイエンス、哲学、言語学、法学など様々な意味での 「論と計の科学」 に興味を持った方々に発表の機会を提供するとともに論計舎内外の講師講演を行う場を、意図しています。

6月から「証明力強化キャンペーン」を開始！数学の基本である「証明の読み書き能力」を磨けます。対象テキストの石原哉『証明作法』（共立出版、2023年）を使用したチューター講座を半額で提供！ また、証明力強化用のオリジナル教材も開発中で、近日中にリリース記念の #論計祭 を開催予定です。…

論計舎が提供する #論計祭 は、数理論理学・理論計算機科学という「論と計の科学」を中心としつつも、コンピューターサイエンス、哲学、言語学、法学など様々な意味での 「論と計の科学」 に興味を持った方々に発表の機会を提供するとともに論計舎内外の講師講演を行う場を、意図しています。

論計舎が提供する #論計祭 は、数理論理学・理論計算機科学という「論と計の科学」を中心としつつも、コンピューターサイエンス、哲学、言語学、法学など様々な意味での 「論と計の科学」 に興味を持った方々に発表の機会を提供するとともに論計舎内外の講師講演を行う場を、意図しています。

論計舎が提供する #論計祭 は、数理論理学・理論計算機科学という「論と計の科学」を中心としつつも、コンピューターサイエンス、哲学、言語学、法学など様々な意味での 「論と計の科学」 に興味を持った方々に発表の機会を提供するとともに論計舎内外の講師講演を行う場を、意図しています。

論計舎が提供する #論計祭 は、数理論理学・理論計算機科学という「論と計の科学」を中心としつつも、コンピューターサイエンス、哲学、言語学、法学など様々な意味での 「論と計の科学」 に興味を持った方々に発表の機会を提供するとともに論計舎内外の講師講演を行う場を、意図しています。