Filter
Matematisk logik
Filter
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas …
Reissuing works originally published between 1931 and 1990, this set of twenty-four books covers the full range of the philosophy of logic, from introductions to logic, to calculus …
A guide to using Mathematica so as to explore cellular automata within natural phenomena, such as insect colonies, bird flight paths and even DNA sequencing. Designed for …
Aimed at graduate students and researchers in combinatorics and model theory, these two volumes provide a systematic exposition of methods used to classify homogeneous structures …
KLAPPENTEXT: Alan Turings automatentheoretische Überlegungen spielen eine maßgebliche Rolle, wenn es gilt, die Möglichkeiten und Grenzen von Computern und Menschen zu untersuchen. …
Wie kommt es, dass das „Buch der Natur in der Sprache der Mathematik“ geschrieben ist?Was hat Mathematik mit Logik zu tun und was die Logik mit der Natur?Wie haben die Menschen …