Reading Foundations: Bernays on Hilbert

Mancosu, Hilbert's Program, Weyl and Hilbert and Brouwer and Hoelder, Hoelder inequality, Bernays, NBG and GBN set theories, ZF with classes, schema and first-orderizability, Hilbert's problems, mathematical independence and the infinitary, the repleteness of completeness, uniqueness and distinctness, laws of large numbers, the law of large numbers, the law of small numbers, the law of larger numbers, the law of largest numbers, models of continuous domains, models of Cantor space, the Enlightenment and the Renaissance, the analytical and idealistic traditions, ontology and teleology, historical rationality, mathematical platonism, Kant's phenomenon and the Epicurean, judgment and ideals, the perfect circle, point-set topology, Kant's Sublime and Ding-an-Sich and noumenological sense, generality and abstraction and expansion and reduction, the uni-lateral and the higher geometry, the Begriffsbildungen and Vorstellung, the integer lattice and the linear continuum, the reticulum and Poincare completion, theories-of-one-relation, ordering theory and set theory, paradoxes of quantification and induction and identity and infinity and continuity, formalim and nominalist fictionalism and platonism, model and structure, equi-interpretability, size and density, Galileo's paradox and countability, replete relation, logical objects and mathematical objects, the universe of mathematical objects and the domain of discourse, multiple-words and pluralism, quantifier disambiguation, logic and Logos and math and Ma'at and Anantha, mathematical platonism, extreme rationalism, the axiomless geometry and axiomless arithmetic, the Euclidean and Archimedean, constancy and change, Hilbert's Foundations of Geometry, Hilbert's postulate of continuity, Grundsatzen and Grundlagen and the Grundgesetze and Frege, positivism and axiomatics, mathematical platonism and logicist positivism, post-modern and deconstructivism and Derrida and Husserl, formalism and intuitionism, quod erat demonstrandum and quod erat fasciendum, axiomatics and stipulations, Erkenntnischarakter, principle of sufficient reason and principle of thorough reason, focus and ignorance, physical theories, finding room in the theory for new physics, vis-viva and vis-motrix and vis-insita, fluid models and pneuma and chaleur, the open and closed in physics, laws and particulars, Pareto law, the continuous manifold and the Fourth Dimension, geometric theory and the axiomatic method, mathematical and epistemological problems, Klein's Erlangen Program, Euclidean geometry, the parallel and perpendicular, reflection and rotation, spatial intuition, logical analysis of spatial intuition, appeal to axiom, theory and meta-theory, theory and contingency, judgment and stroke and decision, Pasch's foundations of geometry, axiomless spatial intuition and extreme rationalism, Bernays and von Neumann and Goedel, set theory and class theory, proper and ultimate classes, classes in meta-set-theory, Mancosu and Grosseteste and aliquot parts, Galileo and Cantor, geometry and arithmetic and algebra and theories-of-one-relation.

Видео Reading Foundations: Bernays on Hilbert канала Ross Finlayson