Filter
Matematisk logik
Filter
What is the shortest possible route for a traveling salesman seeking to visit each city on a list exactly once and return to his city of origin? It sounds simple enough, yet the …
What is algebra? For some, it is an abstract language of x's and y’s. For mathematics majors and professional mathematicians, it is a world of axiomatically defined constructs like …
Eli Maor examines the role of infinity in mathematics and geometry and its cultural impact on the arts and sciences. He evokes the profound intellectual impact the infinite has …
While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical …
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results …
Boolean algebra, also called Boolean logic, is at the heart of the electronic circuitry in everything we use--from our computers and cars, to home appliances. How did a system of …
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the …
Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in …
In Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine, looking at their history, applications, and connections to various …
A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreationLogic puzzles were first introduced to the public by Lewis Carroll in the late …