0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (5)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 6 of 6 matches in All Departments

Lectures in Logic and Set Theory: Volume 2, Set Theory (Hardcover, Volume 2, Set Theory): George Tourlakis Lectures in Logic and Set Theory: Volume 2, Set Theory (Hardcover, Volume 2, Set Theory)
George Tourlakis
R4,890 Discovery Miles 48 900 Ships in 12 - 19 working days

Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel's construstive universe, numerous ways of viewing recursion and Cohen forcing).

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Hardcover, Volume 1, Mathematical Logic): George Tourlakis Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Hardcover, Volume 1, Mathematical Logic)
George Tourlakis
R3,294 Discovery Miles 32 940 Ships in 12 - 19 working days

This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.

Computability (1st ed. 2022): George Tourlakis Computability (1st ed. 2022)
George Tourlakis
R1,646 R1,501 Discovery Miles 15 010 Save R145 (9%) Ships in 9 - 17 working days

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of “mechanical process” using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs.  Advanced chapters cover the Ackerman function, Tarski’s theorem on the non-representability of truth, Goedel’s incompleteness and Rosser’s incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church’s thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oracle computations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blum’s complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham's feasibly computable functions.

Computability (Hardcover, 1st ed. 2022): George Tourlakis Computability (Hardcover, 1st ed. 2022)
George Tourlakis
R2,290 Discovery Miles 22 900 Ships in 9 - 17 working days

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of "mechanical process" using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs. Advanced chapters cover the Ackerman function, Tarski's theorem on the non-representability of truth, Goedel's incompleteness and Rosser's incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church's thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oracle computations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blum's complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham's feasibly computable functions.

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Paperback): George Tourlakis Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Paperback)
George Tourlakis
R1,577 Discovery Miles 15 770 Ships in 12 - 19 working days

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.

Lectures in Logic and Set Theory: Volume 2, Set Theory (Paperback): George Tourlakis Lectures in Logic and Set Theory: Volume 2, Set Theory (Paperback)
George Tourlakis
R2,072 Discovery Miles 20 720 Ships in 12 - 19 working days

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
C. H. Sisson Reconsidered
Victoria Moul, John Talbot Hardcover R3,548 Discovery Miles 35 480
The Other Madisons - The Lost History of…
Bettye Kearse Paperback R416 R388 Discovery Miles 3 880
Stanley Cavell and Philosophy as…
Paul Standish, Naoko Saito Hardcover R3,523 Discovery Miles 35 230
Safari Nation - A Social History Of The…
Jacob Dlamini Paperback R330 R305 Discovery Miles 3 050
Putting Systems and Complexity Sciences…
Joachim P. Sturmberg Hardcover R1,543 Discovery Miles 15 430
Folly of God - A Theology of the…
John D. Caputo Hardcover R895 Discovery Miles 8 950
Becoming a Writer
Dorothea Brande Paperback R547 Discovery Miles 5 470
Sirtuins in Health and Disease, Volume…
Weiping Zheng Hardcover R3,942 Discovery Miles 39 420
The Voice of Conscience - The Church in…
Lewis Baldwin Hardcover R2,043 Discovery Miles 20 430
George Matheson and Mysticism-A…
Scott S Mckenna Hardcover R1,022 Discovery Miles 10 220

 

Partners