| Dictionary, Encyclopedia and Thesaurus - The Free Dictionary 1,723,842,227 visitors served. |
|
Dictionary/ thesaurus | Medical dictionary | Legal dictionary | Financial dictionary | Acronyms | Idioms | Encyclopedia | Wikipedia encyclopedia | ? |
mathematical logic |
Also found in: Dictionary/thesaurus, Wikipedia, Hutchinson | 0.04 sec. |
|
mathematical logic: see symbolic logic symbolic logic or mathematical logic, formalized system of deductive logic, employing abstract symbols for the various aspects of natural language. ..... Click the link for more information. . mathematical logic [¦math·ə¦mad·ə·kəl ′läj·ik] (mathematics) The study of mathematical theories from the viewpoint of model theory, recursive function theory, proof theory, and set theory. How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content. |
|
| ? Mentioned in | ? References in periodicals archive | |
|---|---|---|
But from the point of pure logic--and also taking into consideration the fact that logical formulae and logical concepts do not themselves evolve--there is a constancy in logic, both in mathematical logic and formal logic and one can make a logical criticism of the prevalent understanding of evolution based on reductionism. The entire proof, which runs to more than 100 manuscript pages, contains just mathematical logic and prose. Bertrand Russell--one of the greatest contributors to modern mathematical logic, one of the founders of analytic philosophy, and the most well-known agnostic of the twentieth century--received the Nobel Prize in Literature in 1950 for his "varied and significant writings" that champion "humanitarian ideals and freedom of thought. |
| Encyclopedia |
| Free Tools: |
For surfers:
Free toolbar & extensions |
Word of the Day |
Help
For webmasters: Free content | Linking | Lookup box | Double-click lookup | Partner with us |
|---|