|
Re: Constructive reactions to Goedel Incompleteness: msg#00068
|
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | Separation Logic & An unified Framework for Mathematics and Informatics, Guillaume FORTAINE |
|---|---|
| Next by Date: | Proof of Godel's 2nd, Harvey Friedman |
| Previous by Thread: | Re: Constructive reactions to Goedel Incompleteness, Donald Stahl |
| Next by Thread: | LFCS'07 deadline extension till Dec.22, Sergei Artemov |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |