Ocena:
Książka jest próbą przedstawienia szerokiego przeglądu współczesnych podstaw matematycznych i ich zastosowania w matematyce i informatyce. Podczas gdy wielu recenzentów uważa ją za wnikliwą i przyjemną w ekspozycji, inni krytykują jej zagmatwaną prezentację, brak szczegółów i odbieganie od obiecanych tematów.
Zalety:Książka motywuje i łączy koncepcje z różnych dyscyplin, zapewniając przyjemną i wnikliwą ekspozycję. Obejmuje istotne tematy z matematyki, filozofii, logiki i informatyki teoretycznej, dzięki czemu jest odpowiednia dla osób dobrze zorientowanych w tych tematach.
Wady:Ekspozycja jest zagmatwana, z wieloma tezami przedstawionymi bez dowodu, a niektóre dowody są uważane za błędne. Niektórzy recenzenci uważają, że tekst jest chaotyczny, brakuje mu odpowiednich podstaw i jasnej organizacji, co powoduje, że zbacza w kierunku pobocznych idei.
(na podstawie 4 opinii czytelników)
Practical Foundations of Mathematics
Praktyczne podstawy matematyki wyjaśniają podstawy rozumowania matematycznego zarówno w czystej matematyce (w szczególności w algebrze i topologii), jak i w informatyce. Oprócz logiki formalnej, niniejszy tom analizuje związek między językami komputerowymi a "zwykłymi angielskimi" dowodami matematycznymi.
Książka wprowadza czytelnika w matematykę dyskretną, rozumowanie i logikę kategoryczną. Oferuje nowe podejście do algebr terminowych, indukcji i rekurencji oraz szczegółowo dowodzi równoważności typów i kategorii.
Każda idea jest zilustrowana szerokimi przykładami i śledzona krytycznie wzdłuż jej naturalnej ścieżki, przekraczając granice dyscyplinarne w algebrze uniwersalnej, teorii typów, teorii kategorii, teorii zbiorów, teorii snopów, topologii i programowaniu. Studenci i nauczyciele informatyki, matematyki i filozofii uznają tę książkę zarówno za czytelną, jak i trwałą wartość jako pracę referencyjną.
