2 Matching Annotations
  1. Sep 2024
  2. Local file Local file
    Elementary Topology, 2nd ed. Michael C. Gemignani
    1
    1. chrisaldrich 30 Sep 2024

      Gemignani, Michael C. Elementary Topology. 2nd ed. Addison-Wesley Series in Mathematics. Reading, MA: Addison-Wesley Publishing Company, 1971.

      Annotations URL<br /> Alternate annotations URL

      topology Michael C. Gemignani References Michael Miller UCLA Extension mathematics metric spaces homeomorphisms separation axioms convergence continuity countability compactness connectedness homotopy theory fundamental group Tychonoff theorem

    Tags

    Annotators

  3. Dec 2022
  4. math.stackexchange.com math.stackexchange.com
    how to obtain logical/mathematical maturity for studying mathematical logic at the graduate level?
    1
    1. CategoryKev 02 Dec 2022
      My freely downloadable Beginning Mathematical Logic is a Study Guide, suggesting introductory readings beginning at sub-Masters level. Take a look at the main introductory suggestions on First-Order Logic, Computability, Set Theory as useful preparation. Tackling mid-level books will help develop your appreciation of mathematical approaches to logic.

      This is a reference to a great book "Beginning Mathematical Logic: A Study Guide [18 Feb 2022]" by Peter Smith on "Teach Yourself Logic A Study Guide (and other Book Notes)". The document itself is called "LogicStudyGuide.pdf".

      It focuses on mathematical logic and can be a gateway into understanding Gödel's incompleteness theorems.

      I found this some time ago when looking for a way to grasp the difference between first-order and second-order logics. I recall enjoying his style of writing and his commentary on the books he refers to. Both recollections still remain true after rereading some of it.

      It both serves as an intro to and recommended reading list for the following: - classical logics - first- & second-order - modal logics - model theory<br /> - non-classical logics - intuitionistic - relevant - free - plural - arithmetic, computability, and incompleteness - set theory (naïve and less naïve) - proof theory - algebras for logic - Boolean - Heyting/pseudo-Boolean - higher-order logics - type theory - homotopy type theory

      logic self-teaching recommendations Peter Smith Gödel incompleteness theorems maths mathematical logic books nonclassical logic Boolean Heyting pseudo-Boolean algebra type theory higher-order homotopy homotopy type theory
    Visit annotations in context

    Tags

    Annotators

    URL

    math.stackexchange.com/questions/4519588/how-to-obtain-logical-mathematical-maturity-for-studying-mathematical-logic-at-t