忍者ブログ
今期担当している論理学演習では教科書としてリチャード・ジェフリーの『形式論理学──その射程と限界』(翻訳)を使っていて、みなさんご存知のようにこの本では証明法としてタブロー・メソッドを採用しているんですが、ぼくはあまりこのタブロー・メソッドってやつが好きではないんですね。何と言うか、メカニカルに過ぎる。さりとて、ぼくのような半端ものにはヒルベルト・スタイルはちょっとごりっとしすぎているので(「男は黙ってヒルベルト・スタイル」というセクシスト的な文言が頭をよぎった)、フィッチ・スタイルあたりがちょうどよいようです。
PR
この記事にコメントする
お名前
メールアドレス
URL
コメント
カレンダー
08 2017/09 10
S M T W T F S
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 23
24 25 26 27 28 29 30
最新コメント
[09/24 偽ブランド,韓国]
[09/23 Un Gorille Tué Par Un Zoo Après La Chute D'un Enfant …]
[09/23 actualité dragon ball super]
[09/23 スーパーコピー日本時計]
[09/23 ルイ・ヴィトンコピー]
[09/23 オメガ激安ブランド館]
[09/23 ブランドコピー]
[09/23 偽ブランド]
[09/23 激安ブランド]
[09/23 ルイヴィトン 財布 激安]
最新トラックバック
メール
ブログ作成者(はやし)に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。

thayashi#ucalgary.ca
(#を@に置換してください)

ブログ内検索
Google
WWW を検索 このブログ内を検索

はやしのブログ内で紹介された
 書籍の検索はこちら
 音盤の検索はこちら
ランダムおすすめ
(忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します)
Randombook
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
自分がらみのリンク
はやしのブログ書籍一覧
このブログで言及された書籍の一覧。
はやしのブログ音盤一覧
このブログで言及された音盤の一覧。
最近のおすすめ本
最近のおすすめ音

Copyright © [ はやしのブログ ]
No right reserved except those which belong to someone else.
Special Template : 忍者ブログ de テンプレート and ブログアクセスアップ
Special Thanks : 忍者ブログ
Commercial message : [PR]