| Subject: | History of the deduction theorem |
|---|---|
| From: | |
| Date: | 27 Oct 2006 11:50:53 -0700 |
| Newsgroups: | sci.logic |
Can anyone give me some information about the history of the deduction theorem. When was it first introduced? I'm particularly interested in finding out whether it or anything equivalent to it was in the Principia? |
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| ||
| Previous by Date: | Re: Program Synthesis and formallization?, Charlie-Boo |
|---|---|
| Next by Date: | Re: The L3 Revolution, Confutus |
| Previous by Thread: | On Ultrafinitism, Bill Taylor |
| Next by Thread: | Re: History of the deduction theorem, Frederick Williams |
| Indexes: | [Date] [Thread] [Top] [All Lists] |