Recenze O semantyce w Matematyce i Informatyce

Przedmowa\n1. Przegląd historyczny\n2. Przykłady i abstrakcje

2.1. Język, zdania i dowody\n2.2. Twierdzenie Kleinberga\n2.3. Ontologie w Informatyce\n2.4. Abstrakcje\n2.5. Abstrakcje w Matematyce

\n
1. Obliczalność i definiowalność
\n

3.1. Definiowalność\n3.2. Funkcje rekurencyjne\n3.3. Funkcje częściowe rekurencyjne mi-rekursja\n3.4. Przepisywanie termów: rachunek lambda\n3.5. Funkcjonały obliczalne i Dziedzina Scotta\n3.6. Curry-Howard - propositions as types\n3.7. Podsumowanie obliczalności i definiowalności

\n
1. Przełamać paradygmaty
\n

4.1. von Neumann vicious circle\n4.2. Sieci neuronowe i funkcjonały

\n
1. Funkcjonały i hardware
\n

5.1. Podstawy\n5.2. Poziom zerowy\n5.3. Schemat pierwotnej rekursji\n5.4. Poziom 1\n5.5. Relacje\n5.6. Warunki\n5.7. Przykład programowania na funkcjonałach\n5.8. Konkluzje do rozdziału\n5.9. Twierdzenie Godela o niezupełności\n5.10. Podsumowanie rozdziału

\n
1. Continuum
\n

6.1. Continuum a liczby rzeczywiste\n6.2. Nieformalne wprowadzenie\n6.3. Kubiczne kompleksy\n6.4. Uogólnienie\n6.5. Pierwotne typy odpowiadające Continuum\n6.6. Więcej o wzorcach dla Continuum\n6.7. Od wzorców do przestrzeni topologicznych\n6.8. Ciągi wyboru według Brouwera\n6.9. Funkcje na przestrzeniach topologicznych\n6.10. Twierdzenie Brouwera o ciągłości\n6.11. Continua Euklidesowe\n6.12. Przełamać paradygmat\n6.13. Geometria Riemanna oraz Continuum\n6.14 The Grothendieck\'s homotopy hypothesis\n6.15. Podejście konstrukcyjne do typu homotopijnego\n6.16. Uogólnienia i konkluzje\n6.17. Podsumowanie rozdziału\n6.18. Appendix do Rozdziału 6

\n
1. Podsumowanie\nBibliografia
\n