The Proof-theoretic Ordinal Of A Logical Theory Iowa Type Theory Commute podcast

Artwork

Science Tech Math Aaron Stump Programming Language Computational Logic Type Theory Proof Assistants Cedille

コンテンツは Aaron Stump によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Aaron Stump またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

Iowa Type Theory Commute « »
The proof-theoretic ordinal of a logical theory

2+ y ago 12:14

シェア

MP3•エピソードのホーム

コンテンツは Aaron Stump によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Aaron Stump またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

Ordinal analysis seeks to determine the strength of a logical theory by assigning an ordinal to it. Which one? In this episode I describe a definition of the proof-theoretic ordinal of a logical theory from a paper by proof theorist Michael Rathjen. It is basically a measure of how strong an induction principle is derivable in the theory. (The first parts of the paper are pretty accessible, but the rest gets hard, at least for me.)

… continue reading

161 つのエピソード

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

Artwork

The proof-theoretic ordinal of a logical theory

Iowa Type Theory Commute

16 subscribers

published 2+ y ago

シェア

MP3•エピソードのホーム

コンテンツは Aaron Stump によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Aaron Stump またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

Ordinal analysis seeks to determine the strength of a logical theory by assigning an ordinal to it. Which one? In this episode I describe a definition of the proof-theoretic ordinal of a logical theory from a paper by proof theorist Michael Rathjen. It is basically a measure of how strong an induction principle is derivable in the theory. (The first parts of the paper are pretty accessible, but the rest gets hard, at least for me.)

… continue reading

161 つのエピソード

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

すべてのエピソード

×

プレーヤーFMへようこそ！

Player FMは今からすぐに楽しめるために高品質のポッドキャストをウェブでスキャンしています。これは最高のポッドキャストアプリで、Android、iPhone、そしてWebで動作します。全ての端末で購読を同期するためにサインアップしてください。

500+以上のトピックを聴こう

クイックリファレンスガイド

トップポッドキャスト

鈴木淑子の地球は競馬でまわってる

文化放送競馬中継～今週のメインレース

ボードゲームおっぱい

聴く日経ヘッドライン

サンドウィッチマンの東北魂

トータルテンボスのぬきさしならナイト！

流行りモノ通信簿

RADIO365-TOKYO BAYSIDE RADIO STATION

町田徹のふかぼり！

足立明穂の週刊ＩＴトレンドＸ

伊藤洋一のRound Up World Now！

The other side journal

KIQTAS（キクタス）

ヴォイニッチの科学書

武田邦彦のヒバリクラブ

IchibanTalk 海外で頑張る日本人トーク

BUSINESS WARS / ビジネスウォーズ