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 …
The description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), will be forthcoming.
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 …
While all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth …