OurBigBook Wikipedia Bot
Documentation
Philosophy of mathematics
OurBigBook Wikipedia Bot
Mathematics
toc
wiki
nosplit
articles:
260
Table of contents
260
1. Philosophers of mathematics
link
nosplit
Philosophy of mathematics
31
1.1. Philosophers of probability
link
nosplit
Philosophers of mathematics
1.2. Alain Badiou
link
nosplit
Philosophers of mathematics
1.3. Albert Lautman
link
nosplit
Philosophers of mathematics
1.4. Charles Chihara
link
nosplit
Philosophers of mathematics
1.5. David Bostock (philosopher)
link
nosplit
Philosophers of mathematics
1.6. David Corfield
link
nosplit
Philosophers of mathematics
1.7. Elliott Mendelson
link
nosplit
Philosophers of mathematics
1.8. Gerrit Mannoury
link
nosplit
Philosophers of mathematics
1.9. Hao Wang (academic)
link
nosplit
Philosophers of mathematics
1.10. Haskell Curry
link
nosplit
Philosophers of mathematics
1.11. Jeremy Avigad
link
nosplit
Philosophers of mathematics
1.12. Joseph Melia
link
nosplit
Philosophers of mathematics
1.13. Józef Maria Hoene-Wroński
link
nosplit
Philosophers of mathematics
1.14. Mark Steiner
link
nosplit
Philosophers of mathematics
1.15. Mark Wilson (philosopher)
link
nosplit
Philosophers of mathematics
1.16. Mary Everest Boole
link
nosplit
Philosophers of mathematics
1.17. Mary Leng
link
nosplit
Philosophers of mathematics
1.18. Maximilien Winter
link
nosplit
Philosophers of mathematics
1.19. Michael Detlefsen
link
nosplit
Philosophers of mathematics
1.20. Paul Ernest
link
nosplit
Philosophers of mathematics
1.21. Peter Koellner
link
nosplit
Philosophers of mathematics
1.22. Quentin Meillassoux
link
nosplit
Philosophers of mathematics
1.23. Robert Blanché
link
nosplit
Philosophers of mathematics
1.24. Russell Marcus
link
nosplit
Philosophers of mathematics
1.25. Stephen F. Barker
link
nosplit
Philosophers of mathematics
1.26. Steve Awodey
link
nosplit
Philosophers of mathematics
1.27. Thomas A. McCarthy
link
nosplit
Philosophers of mathematics
1.28. Volker Halbach
link
nosplit
Philosophers of mathematics
1.29. W. D. Hart
link
nosplit
Philosophers of mathematics
1.30. William P. Byers
link
nosplit
Philosophers of mathematics
1.31. Étienne Gilson
link
nosplit
Philosophers of mathematics
2. Philosophy of computer science
link
nosplit
Philosophy of mathematics
161
2.1. Software development philosophies
link
nosplit
Philosophy of computer science
160
2.1.1. Programming principles
link
nosplit
Software development philosophies
32
2.1.1.1. Abstraction principle (computer programming)
link
nosplit
Programming principles
2.1.1.2. Booch method
link
nosplit
Programming principles
2.1.1.3. Code reuse
link
nosplit
Programming principles
2.1.1.4. Cohesion (computer science)
link
nosplit
Programming principles
2.1.1.5. Command–query separation
link
nosplit
Programming principles
2.1.1.6. Composition over inheritance
link
nosplit
Programming principles
2.1.1.7. Coupling (computer programming)
link
nosplit
Programming principles
2.1.1.8. Defensive programming
link
nosplit
Programming principles
2.1.1.9. Dependency inversion principle
link
nosplit
Programming principles
2.1.1.10. Deutsch limit
link
nosplit
Programming principles
2.1.1.11. Discoverability
link
nosplit
Programming principles
2.1.1.12. Don't repeat yourself
link
nosplit
Programming principles
2.1.1.13. Encapsulation (computer programming)
link
nosplit
Programming principles
2.1.1.14. Fail-fast
link
nosplit
Programming principles
2.1.1.15. GRASP (object-oriented design)
link
nosplit
Programming principles
2.1.1.16. Information hiding
link
nosplit
Programming principles
2.1.1.17. Interface segregation principle
link
nosplit
Programming principles
2.1.1.18. Inversion of control
link
nosplit
Programming principles
2.1.1.19. Law of Demeter
link
nosplit
Programming principles
2.1.1.20. Loose coupling
link
nosplit
Programming principles
2.1.1.21. Ninety–ninety rule
link
nosplit
Programming principles
2.1.1.22. Offensive programming
link
nosplit
Programming principles
2.1.1.23. Principle of least astonishment
link
nosplit
Programming principles
2.1.1.24. Pristine Sources
link
nosplit
Programming principles
2.1.1.25. Rule of three (computer programming)
link
nosplit
Programming principles
2.1.1.26. SOLID
link
nosplit
Programming principles
2.1.1.27. Separation of mechanism and policy
link
nosplit
Programming principles
2.1.1.28. Single-responsibility principle
link
nosplit
Programming principles
2.1.1.29. The Power of 10: Rules for Developing Safety-Critical Code
link
nosplit
Programming principles
2.1.1.30. Uniform access principle
link
nosplit
Programming principles
2.1.1.31. Zen of Python
link
nosplit
Programming principles
2.1.1.32. Zero one infinity rule
link
nosplit
Programming principles
2.1.2. Acceptance test-driven development
link
nosplit
Software development philosophies
2.1.3. After the Software Wars
link
nosplit
Software development philosophies
2.1.4. Agile software development
link
nosplit
Software development philosophies
61
2.1.4.1. Dynamic systems development method
link
nosplit
Agile software development
2.1.4.2. Acceptance testing
link
nosplit
Agile software development
2.1.4.3. Adaptation (computer science)
link
nosplit
Agile software development
2.1.4.4. Adaptive software development
link
nosplit
Agile software development
2.1.4.5. Agile Automation
link
nosplit
Agile software development
2.1.4.6. Agile application
link
nosplit
Agile software development
2.1.4.7. Agile architecture
link
nosplit
Agile software development
2.1.4.8. Agile contracts
link
nosplit
Agile software development
2.1.4.9. Agile management
link
nosplit
Agile software development
2.1.4.10. Agile modeling
link
nosplit
Agile software development
2.1.4.11. Agile testing
link
nosplit
Agile software development
2.1.4.12. Agile unified process
link
nosplit
Agile software development
2.1.4.13. Agilo for Trac
link
nosplit
Agile software development
2.1.4.14. Alistair Cockburn
link
nosplit
Agile software development
2.1.4.15. Analysis paralysis
link
nosplit
Agile software development
2.1.4.16. Andy Hunt (author)
link
nosplit
Agile software development
2.1.4.17. Ayotle
link
nosplit
Agile software development
2.1.4.18. Azure DevOps Server
link
nosplit
Agile software development
2.1.4.19. Build light indicator
link
nosplit
Agile software development
2.1.4.20. Burndown chart
link
nosplit
Agile software development
2.1.4.21. Comparison of scrum software
link
nosplit
Agile software development
2.1.4.22. Continuous configuration automation
link
nosplit
Agile software development
2.1.4.23. Continuous integration
link
nosplit
Agile software development
2.1.4.24. DBmaestro
link
nosplit
Agile software development
2.1.4.25. Design sprint
link
nosplit
Agile software development
2.1.4.26. DevOps
link
nosplit
Agile software development
2.1.4.27. Disciplined agile delivery
link
nosplit
Agile software development
2.1.4.28. Distributed agile software development
link
nosplit
Agile software development
2.1.4.29. Exit criteria
link
nosplit
Agile software development
2.1.4.30. Feature-driven development
link
nosplit
Agile software development
2.1.4.31. Flyway (software)
link
nosplit
Agile software development
2.1.4.32. ICONIX
link
nosplit
Agile software development
2.1.4.33. Infrastructure as code
link
nosplit
Agile software development
2.1.4.34. JHipster
link
nosplit
Agile software development
2.1.4.35. Jeff Sutherland
link
nosplit
Agile software development
2.1.4.36. Jim Highsmith
link
nosplit
Agile software development
2.1.4.37. Ken Schwaber
link
nosplit
Agile software development
2.1.4.38. Kent Beck
link
nosplit
Agile software development
2.1.4.39. Liquibase
link
nosplit
Agile software development
2.1.4.40. Martin Fowler (software engineer)
link
nosplit
Agile software development
2.1.4.41. Mike Beedle
link
nosplit
Agile software development
2.1.4.42. P-Modeling Framework
link
nosplit
Agile software development
2.1.4.43. PTC Integrity
link
nosplit
Agile software development
2.1.4.44. Pair programming
link
nosplit
Agile software development
2.1.4.45. Presenter first (software approach)
link
nosplit
Agile software development
2.1.4.46. Product backlog
link
nosplit
Agile software development
2.1.4.47. RATF
link
nosplit
Agile software development
2.1.4.48. Robert C. Martin
link
nosplit
Agile software development
2.1.4.49. Ron Jeffries
link
nosplit
Agile software development
2.1.4.50. SMART Process Acceleration Development Environment
link
nosplit
Agile software development
2.1.4.51. Scrumban
link
nosplit
Agile software development
2.1.4.52. Scrumedge
link
nosplit
Agile software development
2.1.4.53. Service design sprint
link
nosplit
Agile software development
2.1.4.54. Spike (software development)
link
nosplit
Agile software development
2.1.4.55. Stand-up meeting
link
nosplit
Agile software development
2.1.4.56. Thoughtworks
link
nosplit
Agile software development
2.1.4.57. Timeboxing
link
nosplit
Agile software development
2.1.4.58. User story
link
nosplit
Agile software development
2.1.4.59. Validated learning
link
nosplit
Agile software development
2.1.4.60. Velocity (software development)
link
nosplit
Agile software development
2.1.4.61. Ward Cunningham
link
nosplit
Agile software development
2.1.5. Behavior-driven development
link
nosplit
Software development philosophies
2.1.6. Best practice
link
nosplit
Software development philosophies
2.1.7. Comment programming
link
nosplit
Software development philosophies
2.1.8. Continuous test-driven development
link
nosplit
Software development philosophies
2.1.9. Cowboy coding
link
nosplit
Software development philosophies
2.1.10. Domain-driven design
link
nosplit
Software development philosophies
2.1.11. Extreme programming
link
nosplit
Software development philosophies
29
2.1.11.1. Chrysler Comprehensive Compensation System
link
nosplit
Extreme programming
2.1.11.2. Class-responsibility-collaboration card
link
nosplit
Extreme programming
2.1.11.3. Code refactoring
link
nosplit
Extreme programming
2.1.11.4. CppUnit
link
nosplit
Extreme programming
2.1.11.5. CsUnit
link
nosplit
Extreme programming
2.1.11.6. DUnit
link
nosplit
Extreme programming
2.1.11.7. Daily build
link
nosplit
Extreme programming
2.1.11.8. Database refactoring
link
nosplit
Extreme programming
2.1.11.9. Extreme programming practices
link
nosplit
Extreme programming
2.1.11.10. Extreme project management
link
nosplit
Extreme programming
2.1.11.11. FUnit
link
nosplit
Extreme programming
2.1.11.12. Google Guice
link
nosplit
Extreme programming
2.1.11.13. Google Test
link
nosplit
Extreme programming
2.1.11.14. JRipples
link
nosplit
Extreme programming
2.1.11.15. JUnit
link
nosplit
Extreme programming
2.1.11.16. Jtest
link
nosplit
Extreme programming
2.1.11.17. Mauve (test suite)
link
nosplit
Extreme programming
2.1.11.18. Mike Cohn
link
nosplit
Extreme programming
2.1.11.19. Mock object
link
nosplit
Extreme programming
2.1.11.20. Multi-stage continuous integration
link
nosplit
Extreme programming
2.1.11.21. NUnit
link
nosplit
Extreme programming
2.1.11.22. NUnitAsp
link
nosplit
Extreme programming
2.1.11.23. PHPUnit
link
nosplit
Extreme programming
2.1.11.24. Regression testing
link
nosplit
Extreme programming
2.1.11.25. SUnit
link
nosplit
Extreme programming
2.1.11.26. TestDox
link
nosplit
Extreme programming
2.1.11.27. Unit testing
link
nosplit
Extreme programming
2.1.11.28. Visual Studio Unit Testing Framework
link
nosplit
Extreme programming
2.1.11.29. XUnit.net
link
nosplit
Extreme programming
2.1.12. Homesteading the Noosphere
link
nosplit
Software development philosophies
2.1.13. Iterative and incremental development
link
nosplit
Software development philosophies
2.1.14. KISS principle
link
nosplit
Software development philosophies
2.1.15. Kanban (development)
link
nosplit
Software development philosophies
2.1.16. Law of conservation of complexity
link
nosplit
Software development philosophies
2.1.17. Lean software development
link
nosplit
Software development philosophies
2.1.18. Lightweight methodology
link
nosplit
Software development philosophies
2.1.19. List of software development philosophies
link
nosplit
Software development philosophies
2.1.20. Mayo-Smith pyramid
link
nosplit
Software development philosophies
2.1.21. Minimalism (computing)
link
nosplit
Software development philosophies
2.1.22. Open–closed principle
link
nosplit
Software development philosophies
2.1.23. Planning poker
link
nosplit
Software development philosophies
2.1.24. Release early, release often
link
nosplit
Software development philosophies
2.1.25. Rule of least power
link
nosplit
Software development philosophies
2.1.26. Scaled agile framework
link
nosplit
Software development philosophies
2.1.27. Scrum (software development)
link
nosplit
Software development philosophies
2.1.28. Secure by design
link
nosplit
Software development philosophies
2.1.29. Specification by example
link
nosplit
Software development philosophies
2.1.30. Test-driven development
link
nosplit
Software development philosophies
2.1.31. The Cathedral and the Bazaar
link
nosplit
Software development philosophies
2.1.32. The Magic Cauldron (essay)
link
nosplit
Software development philosophies
2.1.33. Transformation Priority Premise
link
nosplit
Software development philosophies
2.1.34. Unix philosophy
link
nosplit
Software development philosophies
2.1.35. Waterfall model
link
nosplit
Software development philosophies
2.1.36. Worse is better
link
nosplit
Software development philosophies
2.1.37. Write once, compile anywhere
link
nosplit
Software development philosophies
2.1.38. You aren't gonna need it
link
nosplit
Software development philosophies
3. Philosophy of mathematics literature
link
nosplit
Philosophy of mathematics
3
3.1. An Introduction to the Philosophy of Mathematics
link
nosplit
Philosophy of mathematics literature
3.2. Philosophy of Arithmetic
link
nosplit
Philosophy of mathematics literature
3.3. The Taming of Chance
link
nosplit
Philosophy of mathematics literature
4. Philosophy of statistics
link
nosplit
Philosophy of mathematics
21
4.1. Logic and statistics
link
nosplit
Philosophy of statistics
5
4.1.1. Boolean analysis
link
nosplit
Logic and statistics
4.1.2. Dichotomous thinking
link
nosplit
Logic and statistics
4.1.3. Maximum a posteriori estimation
link
nosplit
Logic and statistics
4.1.4. Spurious relationship
link
nosplit
Logic and statistics
4.1.5. Statistical proof
link
nosplit
Logic and statistics
4.2. Formal epistemology
link
nosplit
Philosophy of statistics
9
4.2.1. Epistemic logic
link
nosplit
Formal epistemology
6
4.2.1.1. Epistemic paradoxes
link
nosplit
Epistemic logic
4.2.1.2. Autoepistemic logic
link
nosplit
Epistemic logic
4.2.1.3. Dynamic epistemic logic
link
nosplit
Epistemic logic
4.2.1.4. Epistemic possibility
link
nosplit
Epistemic logic
4.2.1.5. KK thesis
link
nosplit
Epistemic logic
4.2.1.6. Masked-man fallacy
link
nosplit
Epistemic logic
4.2.2. Epistemic modal logic
link
nosplit
Formal epistemology
4.2.3. Wolfgang Spohn
link
nosplit
Formal epistemology
4.3. Analytic and enumerative statistical studies
link
nosplit
Philosophy of statistics
4.4. Equiprobability
link
nosplit
Philosophy of statistics
4.5. Foundations of statistics
link
nosplit
Philosophy of statistics
4.6. Intuitive statistics
link
nosplit
Philosophy of statistics
4.7. Uncomfortable science
link
nosplit
Philosophy of statistics
5. Theories of deduction
link
nosplit
Philosophy of mathematics
27
5.1. Formalism (deductive)
link
nosplit
Theories of deduction
9
5.1.1. Formal logic
link
nosplit
Formalism (deductive)
4
5.1.1.1. Deductive reasoning
link
nosplit
Formal logic
5.1.1.2. Formal fallacies
link
nosplit
Formal logic
5.1.1.3. Philosophical logic
link
nosplit
Formal logic
5.1.1.4. Metalogic
link
nosplit
Formal logic
5.1.2. Ethical formalism
link
nosplit
Formalism (deductive)
5.1.3. Legal formalism
link
nosplit
Formalism (deductive)
5.1.4. Parameterized post-Newtonian formalism
link
nosplit
Formalism (deductive)
5.1.5. Scotistic realism
link
nosplit
Formalism (deductive)
5.2. Formalism (philosophy)
link
nosplit
Theories of deduction
11
5.2.1. Formalism (aesthetics)
link
nosplit
Formalism (philosophy)
8
5.2.1.1. Russian formalism
link
nosplit
Formalism (aesthetics)
5.2.1.2. Eratosphere
link
nosplit
Formalism (aesthetics)
5.2.1.3. Formalism (art)
link
nosplit
Formalism (aesthetics)
5.2.1.4. Formalism (literature)
link
nosplit
Formalism (aesthetics)
5.2.1.5. Formalism (music)
link
nosplit
Formalism (aesthetics)
5.2.1.6. Formalist film theory
link
nosplit
Formalism (aesthetics)
5.2.1.7. New Formalism
link
nosplit
Formalism (aesthetics)
5.2.1.8. Susan McLean
link
nosplit
Formalism (aesthetics)
5.2.2. Jurisprudence of concepts
link
nosplit
Formalism (philosophy)
5.2.3. Pattern theory
link
nosplit
Formalism (philosophy)
5.3. Anti-psychologism
link
nosplit
Theories of deduction
5.4. Mental model theory of reasoning
link
nosplit
Theories of deduction
5.5. Modal fictionalism
link
nosplit
Theories of deduction
5.6. Polylogism
link
nosplit
Theories of deduction
5.7. Supervaluationism
link
nosplit
Theories of deduction
6. Absolute Infinite
link
nosplit
Philosophy of mathematics
7. Actual infinity
link
nosplit
Philosophy of mathematics
8. Aristotelian realist philosophy of mathematics
link
nosplit
Philosophy of mathematics
9. Centipede mathematics
link
nosplit
Philosophy of mathematics
10. Definitions of mathematics
link
nosplit
Philosophy of mathematics
11. Ethics in mathematics
link
nosplit
Philosophy of mathematics
12. Formalism (philosophy of mathematics)
link
nosplit
Philosophy of mathematics
13. Logical harmony
link
nosplit
Philosophy of mathematics
14. Mathematical practice
link
nosplit
Philosophy of mathematics
15. Mutual exclusivity
link
nosplit
Philosophy of mathematics
16. Psychologism
link
nosplit
Philosophy of mathematics
17. Quine–Putnam indispensability argument
link
nosplit
Philosophy of mathematics
Ancestors
Mathematics
OurBigBook Wikipedia Bot