From d5f335044c3eeada1042ee792a44564b1b0c0b8c Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Sun, 22 Jan 2017 08:03:13 -0500
Subject: [PATCH] books/bookvolbib add Warner The Foundational Crisis of
Mathematics
Goal: Proving Axiom Correct
\index{Warner, Evan}
\begin{chunk}{axiom.bib}
@misc{Warn17,
author = "Warner, Evan",
title = "Splash Talk: The Foundational Crisis of Mathematics",
year = "2017",
link = "\url{web.stanford.edu/~ebwarner/SplashTalk.pdf}",
abstract =
"This class will cover some of the mathematics, history, and
philosophy of the co-called {\sl foundational crisis in mathematics}.
Broadly speaking, mathematics in the late nineteenth and early
twentieth centuries was marked by an increased awareness of
``foundational issues,'' prompted by a number of problems in the
practice of mathematics that had accumulated over the years. We will
discuss a few examples of some of these problems, and then discusssthe
three major schools of thought that emerged to deal with them and
provide a coherent philosophical and methodologicial underpinning for
mathematics.",
paper = "Warn17.pdf"
}
\end{chunk}
---
books/bookvolbib.pamphlet | 23 +++++++++++++++++++++++
changelog | 2 ++
patch | 28 ++++++++++++++++++++++++++--
src/axiom-website/patches.html | 4 +++-
4 files changed, 54 insertions(+), 3 deletions(-)
diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index cf6cf03..be65192 100644
--- a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ -7657,6 +7657,29 @@ Munteanu, Bogdan; Brooker, Marc; Deardeuff, Michael
\end{chunk}
+\index{Warner, Evan}
+\begin{chunk}{axiom.bib}
+@misc{Warn17,
+ author = "Warner, Evan",
+ title = "Splash Talk: The Foundational Crisis of Mathematics",
+ year = "2017",
+ link = "\url{web.stanford.edu/~ebwarner/SplashTalk.pdf}",
+ abstract =
+ "This class will cover some of the mathematics, history, and
+ philosophy of the co-called {\sl foundational crisis in mathematics}.
+ Broadly speaking, mathematics in the late nineteenth and early
+ twentieth centuries was marked by an increased awareness of
+ ``foundational issues,'' prompted by a number of problems in the
+ practice of mathematics that had accumulated over the years. We will
+ discuss a few examples of some of these problems, and then discusssthe
+ three major schools of thought that emerged to deal with them and
+ provide a coherent philosophical and methodologicial underpinning for
+ mathematics.",
+ paper = "Warn17.pdf"
+}
+
+\end{chunk}
+
\begin{chunk}{axiom.bib}
@misc{Wiki17,
author = "Wikipedia",
diff --git a/changelog b/changelog
index 18a1181..2b4ebfc 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20170122 tpd src/axiom-website/patches.html 20170122.01.tpd.patch
+20170122 tpd books/bookvolbib add Warner The Foundational Crisis of Mathematics
20170121 tpd src/axiom-website/patches.html 20170121.01.tpd.patch
20170121 tpd books/bookheader.tex add Jeremy Avigad to credit list
20170121 tpd books/bookvol10.4 add Jeremy Avigad to credit list
diff --git a/patch b/patch
index 867ed98..dc57a5a 100644
--- a/patch
+++ b/patch
@@ -1,3 +1,27 @@
-readme add Jeremy Avigad to credit list
+books/bookvolbib add Warner The Foundational Crisis of Mathematics
+
+Goal: Proving Axiom Correct
+
+\index{Warner, Evan}
+\begin{chunk}{axiom.bib}
+@misc{Warn17,
+ author = "Warner, Evan",
+ title = "Splash Talk: The Foundational Crisis of Mathematics",
+ year = "2017",
+ link = "\url{web.stanford.edu/~ebwarner/SplashTalk.pdf}",
+ abstract =
+ "This class will cover some of the mathematics, history, and
+ philosophy of the co-called {\sl foundational crisis in mathematics}.
+ Broadly speaking, mathematics in the late nineteenth and early
+ twentieth centuries was marked by an increased awareness of
+ ``foundational issues,'' prompted by a number of problems in the
+ practice of mathematics that had accumulated over the years. We will
+ discuss a few examples of some of these problems, and then discusssthe
+ three major schools of thought that emerged to deal with them and
+ provide a coherent philosophical and methodologicial underpinning for
+ mathematics.",
+ paper = "Warn17.pdf"
+}
+
+\end{chunk}
-Goal: Axiom Credits
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 8bc1240..16c88c1 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -5639,7 +5639,9 @@ books/bookvolbib References on Program Proofs

20170120.01.tpd.patch
books/bookvolbib References on Program Proofs

20170121.01.tpd.patch
-readme add Jeremy Avigad to credit list
+readme add Jeremy Avigad to credit list

+20170122.01.tpd.patch
+books/bookvolbib add Warner The Foundational Crisis of Mathematics

--
1.7.5.4