PhilosophyIdeas
.com Database |
Current Total Ideas:
22,104
|
home
|
back
Combining Texts
All the ideas for 'Intuitionism: an Introduction', 'Completeness of Axioms of Logic' and '06: Book of Joshua'
expand these ideas
|
start again
| specify just
one area
for these texts
3 ideas
4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
17751
Gödel proved the completeness of first order predicate logic in 1930
[Gödel, by Walicki]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
8754
Logic is dependent on mathematics, not the other way round
[Heyting, by Shapiro]
27. Natural Reality / E. Cosmology / 1. Cosmology
7489
Joshua said, Sun, stand thou still
[Anon (Josh)]