Results 1 to 7 of 7
- Logic, semantics, metamathematics : papers from 1923 to 1938 / by Tarski, Alfred,1901-1983.(CARDINAL)709565; Corcoran, John,1937-(CARDINAL)734439;
Bibliography: pages 456-462.- Subjects: Logic, Symbolic and mathematical.; Semantics (Philosophy);
- Available copies: 1 / Total copies: 1
-
unAPI
- How to bake pi [sound recording] : an edible exploration of the mathematics of mathematics / by Cheng, Eugenia,author.; Gilbert, Tavia,narrator.;
Read by Tavia Gilbert.A math expert uses cooking to shed light on the heart of mathematics.Compact discs.- Subjects: Audiobooks.; Mathematics; Mathematics.; Metamathematics.; Categories (Mathematics);
- Available copies: 1 / Total copies: 1
-
unAPI
- How to bake [pi] : an edible exploration of the mathematics of mathematics / by Cheng, Eugenia,author.;
Math. What is math? ; Abstraction ; Principles ; Process ; Generalization ; Internal vs. external ; Axiomatization ; What mathematics is -- Category theory. What is category theory? ; Context ; Relationships ; Structure ; Sameness ; Universal properties ; What category theory is."In How to Bake Pi, math professor Eugenia Cheng provides an accessible introduction to the logic and beauty of mathematics, powered, unexpectedly, by insights from the kitchen: we learn, for example, how the béchamel in a lasagna can be a lot like the number 5, and why making a good custard proves that math is easy but life is hard."--Publisher description.- Subjects: Categories (Mathematics); Mathematics.; Mathematics; Metamathematics.;
- Available copies: 10 / Total copies: 12
-
unAPI
- Gödel, Escher, Bach : an eternal golden braid / by Hofstadter, Douglas R.,1945-(CARDINAL)721141;
Includes bibliographical references (pages 746-756) and index.1150LPulitzer Prize for General Non-Fiction, 1980- Subjects: Bach, Johann Sebastian, 1685-1750.; Escher, M. C. (Maurits Cornelis), 1898-1972.; Gödel, Kurt.; Metamathematics.; Symmetry.; Artificial intelligence.;
- Available copies: 2 / Total copies: 6
-
unAPI
- Mathematics 1001 : absolutely everything that matters in mathematics in 1001 bite-sized explanations / by Elwes, Richard,1978-(CARDINAL)593080;
Numbers -- Geometry -- Algebra -- Discrete mathematics -- Analysis -- Logic -- Metamathematics -- Probability & statistics -- Mathematical physics -- Games and recreation.Provides a practical reference to all aspects of mathematics, using clear explanations of such key mathematical concepts as analysis, logic, metamathematics, and mathematical physics.--- Subjects: Mathematics.;
- Available copies: 1 / Total copies: 3
-
unAPI
- Mathematics 1001 : absolutely everything that matters in mathematics, in 1001 bite-sized explanations / by Elwes, Richard,1978-(CARDINAL)593080;
Numbers. The basics ; Arithmetic ; Number systems ; Rational numbers ; Factors and multiples ; Induction ; Representation of numbers ; Transcendental numbers ; Ruler and compass ; Constructions ; Diophantine equations ; Prime numbers -- Geometry. Euclidean geometry ; Triangles ; Circles ; Polygons and polyhedra ; Transformations ; Tessellations ; Curves and surfaces ; Polar coordinates ; Discrete geometry ; Differential geometry ; Topology ; Knot theory ; Non-Euclidean geometry ; Algebraic topology ; Algebraic geometry ; Diophantine geometry -- Algebra. Letters for numbers ; Equations ; Vectors and matrices ; Group theory ; Abstract algebra -- Discrete mathematics. Combinatorics ; Graph theory ; Ramsey theory -- Analysis. Sequences ; Series ; Continuity ; Differential calculus ; Integral calculus ; Complex analysis ; Power series ; Exponentiation ; Fractals ; Dynamical systems ; Differential equations ; Fourier analysis -- Logic. Basic logic ; The science of deduction ; Set theory ; Hilbert's program ; Complexity theory ; Computability theory ; Model theory ; Uncertainty and paradoxes -- Metamathematics. What mathematicians do ; Mathematics and technology ; Philosophies of mathematics -- Probability & statistics. Statistics ; Probability ; Probability distributions ; Stochastic processes ; Cryptography -- Mathematical physics. Newtonian mechanics ; Waves ; Fields and flows ; Special relativity ; Gravity ; Quantum mechanics ; Quantum field theory -- Games and recreation. Game theory ; Fibonacci ; Puzzles and perplexities.Provides a practical reference to all aspects of mathematics, using clear explanations of such key mathematical concepts as analysis, logic, metamathematics, and mathematical physics.--- Subjects: Mathematics.; Mathematics; Mathématiques;
- Available copies: 18 / Total copies: 33
-
unAPI
- A beginner's further guide to mathematical logic / by Smullyan, Raymond M.,author.(CARDINAL)509513;
Includes bibliographical references (pages 261-263) and index.More on propositional and first-order logic -- More on propositional logic -- More on first-order logic -- Recursion theory and metamathematics -- Some special topics -- Elementary formal systems and recursive enumerability -- Some recursion theory -- Doubling up -- Metamathematical applications -- Elements of combinatory logic -- Beginning combinatory logic -- Combinatorics galore -- Sages, oracles, and doublets -- Complete and partial systems -- Combinators, recursion, and the undecidable -- Where to go from here.- Subjects: Logic, Symbolic and mathematical.;
- Available copies: 1 / Total copies: 1
-
unAPI
Results 1 to 7 of 7