Articles liés à Popular Lectures on Mathematical Logic

Popular Lectures on Mathematical Logic - Couverture rigide

Wang, Hao

 
9780442231095: Popular Lectures on Mathematical Logic

Synopsis

Book by Wang Hao

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic's relationship to computer science, more. Includes 3 appendixes. Bibliography. 1981 edition.

Biographie de l'auteur

Hao Wang (1921 95) was a Chinese-American mathematician, logician, and philosopher. He taught at Harvard, Oxford, and Rockefeller University.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.