Skip to content

Latest commit

 

History

History
305 lines (294 loc) · 12.7 KB

dm4-reading-list.org

File metadata and controls

305 lines (294 loc) · 12.7 KB

DM4 Reading List

In No Particular Order

There’s Something About Gödel

The Complete Guide to the Incompleteness Theorem

Francesco Berto

Logicomix

An Epic Search For Truth

Apostolos Doxiadis and Christos Papadimitriou

Thinking About Gödel and Turing

Essays on Complexity, 1970-2007

Gregory J. Chaitin

Quantum Computing Since Democritus

No Subtitle

Scott Aaronson

One Eternal Round

No subtitle, but note that the final groundbreaking chapter delves into geometry and mathematical relationships depicted on Facsimile 2.

Hugh Nibley and Michael D. Rhodes

The Organized Mind

Thinking Straight in the Age of Information Overload

Daniel J. Levitin

The World in Six Songs

How the Musical Brain Created Human Nature

Daniel J. Levitin

This Is Your Brain on Music

The Science of a Human Obsession

Daniel J. Levitin

Intuition Pumps

and Other Tools for Thinking

Daniel C. Dennett

Everything and More

A Compact History of Infinity

David Foster Wallace

The Inexhaustible Gospel

A Retrospective of Twenty-one Firesides and Devotionals

Neal A. Maxwell

People of Paradox

A History of Mormon Culture

Terryl L. Givens

The Language Instinct

How the Mind Creates Language

Steven Pinker

The Stuff of Thought

Language as a Window into Human Nature

Steven Pinker

Words and Rules

The Ingredients of Language

Steven Pinker

How The Mind Works

No Subtitle

Steven Pinker

Make It Stick

The Science of Successful Learning

Peter C. Brown, Henry L. Roediger III, Mark A. McDaniel

Why Information Grows

The Evolution of Order, from Atoms to Economies

César Hidalgo

An Introduction to the Theory of Numbers

No Subtitle

G. H. Hardy and E. M. Wright

Infinity and The Mind

The Science and Philosophy of the Infinite

Rudy Rucker

Mind Tools

The Five Levels of Mathematical Reality

Rudy Rucker

The Lifebox, the Seashell, and the Soul

What Gnarly Computation Taught Me About Ultimate Reality, The Meaning of Life, And How to Be Happy

Rudy Rucker

How Mathematicians Think

Using Ambiguity, Paradox and Contradiction to Create Mathematics

William Byers

Gödel’s Proof

No Subtitle

Ernest Nagel and James R. Newman

The Emperor’s New Mind

Concerning Computers, Minds, and the Laws of Physics

Roger Penrose

Shadows of the Mind

A Search for the Missing Science of Consciousness

Roger Penrose

The Road to Reality

A Complete Guide to the Laws of the Universe

Roger Penrose

Fashion, Faith, and Fantasy

in the New Physics of the Universe

Roger Penrose

Prime Numbers

The Most Mysterious Figures in Math

David Wells

The Mathematical Experience

No Subtitle

Philip J. Davis and Reuben Hersh

Incompleteness

The Proof and Paradox of Kurt Gödel

Rebecca Goldstein

Coincidences, Chaos, and All That Math Jazz

Making Light of Weighty Ideas

Edward B. Burger and Michael Starbird

The Infamous Boundary

Seven Decades of Controversy in Quantum Physics

David Wick

Concrete Mathematics

A Foundation for Computer Science

Ron Graham, Donald Knuth, Oren Patashnik

Gödel, Escher, Bach

An Eternal Golden Braid

Douglas Hofstadter

I Am a Strange Loop

No Subtitle

Douglas Hofstadter

Surfaces and Essences

Analogy as the Fuel and Fire of Thinking

Douglas Hofstadter

Love and Math

The Heart of Hidden Reality

Edward Frenkel

Alphabetical by First Author

Evaluate the two code blocks below to create the table of book records:

(setq st "#scrollTo="
      st-links [
      "PqEtBHIr6Dtp"
      "8vwO55LJ6NdT"
      "F01wgGbD8Yr6"
      "6Rg3_oLe9EIx"
      "Pj3Gsbay9a9Q"
      "-ejyS4Ln9joX"
      "b6HLMGtf9lXI"
      "ja5Ufy-Z9qrX"
      "nY1x3hkX9v5t"
      "OdLTmQpq91Eq"
      "YZvR1Pun-OXp"
      "MYQ2b9Cb-WMp"
      "xB-ghw90-YqJ"
      "aL47FejC-dPK"
      "m79O71vW-fN4"
      "eggjkD1I-jrl"
      "CS1Z5F3X-k9g"
      "SJlWnPe4-os5"
      "18QGbtDL-p8h"
      "250HSdbD-tPz"
      "LvSX_7lk-u6I"
      "0HAu_atB-0Qv"
      "atpB6rXw-1vn"
      "FXYBwHli-5XH"
      "4Lc3FrmS-6pO"
      "Qs_pOIbG--A5"
      "6oT9tRg1_AUL"
      "Pzel53qs_DS5"
      "vi7jVv3y_FCK"
      "OwMXTEKs_HxY"
      "iw3vLC-c_Pmt"
      "QMrg-aP3_TJS"
      "Wlz0YHsO_Vs6"
      "M1vQiwu1_ZEF"
      "IRfRiwel_foL"
      "pOu_uOMy_mB5"
      "nCC5wzxA_pqa"
      "XPubdtiE_s_d"
      "w2RdMxYH_uEu"
      "SXWKWC1N_xy5"
      "3rNM-St4_zHm"
      "9mmI0YiW_1n7"
      "nGBkZY4J_5EK"
      "o_O7gbPy_9sK"
      "5EaiDmo-_-rG"
      "RH4GznN5AHRn"
      "iZKOzfhHAJkv"
      "uPVuncUKANyW"
      "0Ii1OAkyAOit"
      "eM5ZNF4BARpc"
      "zmCawcagAS1m"
      "XWKoEewUAWZz"
      "GDzfaKHXAXWl"
      "U7DPGOMIAaFI"
      "74CQzwgdAa8r"
      "3ulqHOX8Advb"
      "T7gizaYLAekC"
      "snBxv9DbAjRm"
      "Hps52YyzAkEv"
      "ilS40h9eAm16"
      "MA57Rg_nAnol"
      "tOC0cHgVAq0c"
      "Y8Rw7yeuAsuF"
      "OIPn2vE2Av1E"
      "DH0hUrDHAx0U"
      "Brx0w3CtA0lg"
      "ELHYAQGgA5v-"
      "jqJTKhn0A8cN"
      "M6tKVOckA9IW"
      "DiCpzv0bBAaj"
      "IwoGiRQJBBwK"
      "Dc9NMGbIBFGP"
      "Gc2QplStA2LG"
      "AEflqRAhBM9f"
      "535S1VTpBNs8"
      "g4wgzgBZBQNz"])
(require 'org)

(defun extract-first-author (authors)
  (let* ((name-string (symbol-name authors))
         (first-author-maybe (split-string name-string ","))
         (first-author (split-string (first first-author-maybe) "and")))
    (first first-author)))

(defun format-for-colab-markdown (link-string)
  (let* ((link-parts (split-string link-string "\\]\\["))
         (part1 (replace-regexp-in-string "\\[\\[" "" (first link-parts)))
         (part2 (replace-regexp-in-string "\\]\\]" "" (second link-parts))))
    (format "[%s](%s)" part2 part1)))

(defun shorten-link (link-as-symbol)
  (let* ((link-as-string (symbol-name link-as-symbol))
         (link-string-list (split-string link-as-string "--")))
    (format-for-colab-markdown (first link-string-list))))

(defun old-gather-book-records ()
  (let ((book-records nil))
    (org-element-map (org-element-parse-buffer) 'headline
      (lambda (x) (push (intern (org-element-property :raw-value x)) book-records)))
    (loop with by4list = (cdr (nreverse (cdr book-records)))
          for i from 0 below (length by4list) by 4
          collect (list (extract-first-author (nth (+ i 2) by4list))
                        (symbol-name (nth (+ i 0) by4list))
                        (shorten-link (nth (+ i 3) by4list))))))

(defun make-back-link (text link)
  (format "[%s](%s%s)" text st link))

(defun gather-book-records ()
  (let ((book-records nil))
    (org-element-map (org-element-parse-buffer) 'headline
      (lambda (x) (push (intern (org-element-property :raw-value x)) book-records)))
    (loop with by4list = (cdr (nreverse (cdr book-records)))
          for i from 0 below (length by4list) by 4
          for j from 0 by 2
          collect (list (extract-first-author (nth (+ i 2) by4list))
                        (symbol-name (nth (+ i 0) by4list))
                        j))))
(setq book-records (gather-book-records)
      author-first (cl-sort book-records 'string<
                            :key (lambda (book-record)
                                   (first (last (split-string (first book-record) " " t)))))
      author-first-with-links (append '(("Author" "Title") hline)
                                      (mapcar (lambda (book-record)
                                                (destructuring-bind (author title index) book-record
                                                  (list (make-back-link author (elt st-links (1+ index)))
                                                        (make-back-link title (elt st-links index)))))
                                              author-first)))
author-first