wwf
Foundations of Mathematical Logic
Foundations of Mathematical LogicHaskell B. Curry1. Introduction
2. Formal systems
3. Epitheory
4. Relational logical algebra
5. The theory of implication
6. Negation
7. Quantification
8. Modality
€3,50
3 biedingen
wwf
Logica voor alfa's en informatici
Logica voor alfa's en informaticiJan van Eijk, Elias Thijsse1. Algemene inleiding
2. Kernbegrippen uit de naïeve verzamelingenleer
3. Eindige, oneindige en beslisbare verzamelingen
4. Logica, de leer van het correct redeneren
5. Propositielogica
6. Predikatenlogica
7. Uitbreidingen van de predikatenlogica
8. Informatica-toepassingen van de logica
€3,50
4 biedingen
wwf
Beschrijven en bewijzen
Beschrijven en bewijzenH. Zantema, P.W.H. Lemmens1. Waarom iets bewijzen?
2. Proposities
3. Bewijzen met deductie
4. Predicaten
5. Verzamelingen
6. Afbeeldingen
7. Volledige inductie
8. Relaties en grafen
9. Ordeningen
10. Oneindige verzamelingen
11. Extra opgaven
€3,50
4 biedingen
wwf
The Philosphy of Space and Time
The Philosphy of Space and TimeHans ReichenbachI. Space
II. Time
III. Space and Time
€4,50
6 biedingen
wwf
The Mathematical Experience
The Mathematical ExperiencePhilip J. Davis, Reuben Hersh1. The Mathematical Landscape
2. Varieties of Mathematical Experience
3. Outer Issues
4. Inner Issues
5. Selected Topics in Mathematics
6. Teaching and Learning
7. From Certainty to Fallibility
8. Mathematical Reality
€2,00
0 biedingen
wwf
De kernproblemen van de filosofie
De kernproblemen van de filosofieA.J. AyerI. De aanspraken van de metafysica
II. Betekenis en gezond verstand
III. Filosofische analyse
IV. Het probleem van de waarneming
V. De opbouw van de fysische wereld
VI. Lichaam en geest
VII. Feiten en verklaringen
VIII. Regel en kans
IX. Logica en bestaan
X. De aanspraken van de theologie
€4,50
6 biedingen
wwf
De troost van de filosofie
De troost van de filosofieAlain de BottonI. Impopulariteit
II. Geldzorgen
III. Frustratie
IV. Onmacht
V. Liefdesverdriet
VI. Moeilijkheden
€2,00
0 biedingen
wwf
Proofs and Refutations - The Logic of Mathematical Discovery
Proofs and Refutations - The Logic of Mathematical DiscoveryImre LakatosChapter 1
1. A problem and a conjecture
2. A proof
3. Criticism of the proof by counterexamples which are local but not global
4. Criticism of the conjecture by global counterexamples
5. Criticism of the proof-analysis by counterexamples which are global but not local. The problem of rigour
6. Return to criticism of the proof by counterexamples which are local but nog global. The problem of content
7. The problem of content ...
€11,00
9 biedingen
wwf
Wetenschap en hypothese
Wetenschap en hypotheseHenri Poincaré1. Het getal en de grootheid
2. De ruimte
3. De kracht
4. De Natuur
€3,50
4 biedingen
wwf
De getallen en de dingen, 2 delen
De getallen en de dingen, 2 delenAristotelesAristoteles (384 vC) is zonder veel overdrijving een van de oorspronkelijkste, veelzijdigste en belangrijkste filosofen in de Westeuropese cultuur. Zijn invloedrijke werken spelen steeds een centrale rol in de theorie en de geschiedenis van literatuur, biologie, ethiek, politiek en retorica. In de eenentwintigste eeuw is Aristoteles opnieuw een onmisbare en inspirerende filosofische gids in het chaotische museum van de werkelijkheid.
Aristoteles gunt ...
€6,00
6 biedingen
wwf
Metamagical Themas: Questing for the Essence of Mind and Pattern
Metamagical Themas: Questing for the Essence of Mind and PatternDouglas R. HofstadterI. Snags and Snarls
II. Sense and Society
III. Sparking and Slipping
IV. Structure and Strangeness
V. Spirit and Substrate
VI. Selection and Stability
VII. Sanity and Survival
€2,00
1 bod
wwf
Gödel, Escher, Bach: an Eternal Golden Braid
Gödel, Escher, Bach: an Eternal Golden BraidDouglas R. HofstadterA metaphorical fugue on minds and machines in the spirit of Lewis Carroll
€3,00
3 biedingen
wwf
The Principles of Mathematics
The Principles of MathematicsBertrand RussellPart I. The Indefinables of Mathematics
Part II. Number
Part III. Quantity
Part IV. Order
Part V. Infinity and Continuity
Part VI. Space
Part VII. Matter and Motion
€3,00
1 bod
wwf
Gödel's Proof
Gödel's ProofErnest Nagel, James R. NewmanIn 1931 Kurt Gödel published his fundamental paper, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. The authors provide an explanation of the main ideas and broad implications of Gödel's discovery.
€3,00
3 biedingen
wwf
De vierde dimensie
De vierde dimensieRudy Rucker1. De vierde dimensie
2. Ruimte
3. Hoe we er moeten komen
€2,00
0 biedingen
wwf
Het keerpunt - Wetenschap, samenleving en de opkomst van de nieuwe cultuur
Het keerpunt - Wetenschap, samenleving en de opkomst van de nieuwe cultuurFritjof CapraAan de voornaamste vraagstukken van onze tijd – kanker, misdaad, vervuiling, kernkracht, inflatie, het energietekort – ligt een en hetzelfde krachtenspel ten grondslag. We leven in een tijd van verandering die dramatisch en vol gevaren is, een keerpunt voor onze planeet in haar geheel. We hebben een nieuwe visie op de werkelijkheid nodig, een visie die het mogelijk maakt dat de krachten die onze wereld omv...
€2,00
0 biedingen
wwf
Nonstandard Analysis
Nonstandard AnalysisAlain Robert1. Idealization
2. Standardization and Transfer
3. Real Numbers and Numerical Functions
4. Continuity
5. Differentiability
6. Integration
7. Invariant Means
8. Approximation of Functions
9. Differential Equations
10. Pertubation of a Green Function
11. Invariant Subspaces Problem
€2,00
1 bod
wwf
Principia Mathematica to *56
Principia Mathematica to *56Alfred North Whitehead, Bertrand RussellIntroduction
I. Mathematical Logic
A. The Theory of Deduction
B. Theory of Apparent Variables
C. Classes and Relations
D. Logic of Relations
E. Products and Sums of Classes
II. Prolegomena to Cardinal Arithmetic
A. Unit Classes and Couples
€3,50
2 biedingen
wwf
An Introduction to Symbolic Logic
An Introduction to Symbolic LogicSusanne K. LangerI. The Study of Forms
II. The Essentials of Logical Structure
III. The Essentials of Logical Structure (continued)
IV. Generalization
V. Classes
VI. Principal Relations Among Classes
VII. The Universe of Classes
VIII. The Deductive System of Classes
IX. The Algebra of Logic
X. Abstraction and Interpretation
XI. The Calculus of Propositions
XII. The Assumpions of Principia Mathematica
XIII. Logistics
€2,00
1 bod
wwf
Introduction to Symbolic Logic and Its Applications
Introduction to Symbolic Logic and Its ApplicationsRudolf CarnapI. System of symbolic logic
A. The simple language A
B. The language B
C. The extended language C
II. Application of symbolic logic
D. Forms and methods of the construction of languages
E. Axiom systems (ASs) for set theory and arithmetic
F. Axiom systems (ASs) for geometry
G. ASs of pysics
H. ASs of biology
€2,00
1 bod