
www.Usenet.com
| <-- __Chronological__ --> | <-- __Thread__ --> |
[EMAIL PROTECTED] (Dragonblaze) wrote: Overall, a very good post, but: > >1. A theory must be sound: > >a. If a procedure within the theory classifies a proposition therein >as valid, then that proposition really is valid > >2. A theory must be complete: > >a. If a proposition in the theory is valid, then a procedure within >the theory must so classify it > >3. A theory must be compact: > >a. The procedures within the theory that classify propositions as >valid must be able to do so in a finite number of steps These run afoul of Goedel's Incompleteness Theorem. That is, for any non-trivial theory it cannot fulfill all of these requirements. The peace of God be with you. Stanley Friesen
| <-- __Chronological__ --> | <-- __Thread__ --> |