ダグ・プラウィッツとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ダグ・プラウィッツの意味・解説 

ダグ・プラウィッツ

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/10/05 17:35 UTC 版)

ダグ・プラウィッツ(Dag Prawitz、1936年5月16日 - )は、スウェーデンの哲学者、論理学者。証明論に関する研究と自然演繹の基礎の分野で最もよく知られている[1][2]ストックホルム生まれ。


  1. ^ Prawitz, Dag (1965). Natural deduction: A proof-theoretical study. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell. https://archive.org/details/naturaldeduction0000praw 
  2. ^ Prawitz, Dag (2006) [1965]. Natural deduction: A proof-theoretical study. Mineola, New York: Dover Publications. ISBN 978-0-486-44655-4 
  3. ^ Gruppe 3: Idéfag” (Norwegian). Norwegian Academy of Science and Letters. 2011年1月16日閲覧。
  4. ^ Academia Europaea:Dag Prawitz


「ダグ・プラウィッツ」の続きの解説一覧



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  
  •  ダグ・プラウィッツのページへのリンク

辞書ショートカット

すべての辞書の索引

「ダグ・プラウィッツ」の関連用語

ダグ・プラウィッツのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ダグ・プラウィッツのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのダグ・プラウィッツ (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2024 GRAS Group, Inc.RSS