Home Page of Dennis J. Darland's Studies in 2012
Email:
Mail To: pal at dennisdarland dot com
Comments welcome
For other things I'm doing see
my home page.
MY LIBRARY
I have cataloged my books (updated 12/31/2011).
I have an index of almost ALL of my books entered!
(the main exception being some software documentation(mostly obsolete, yet retained)).
Also many of my ebooks (mostly free) have not been entered.
It indicates the books that I have read. (to the best of my memory).
I have not included as read reference books, or books I have read only part of,
although I did include those used as texts in courses, although we may not have covered the entire text.
(Also, I have read many books I don't own, but I do, now, mostly buy them, because I read so slowly,
and also I like to be able to look thing up again, that I have read in the past.
Here is my wish list for books.
Also, for news I read (starting 11/21/2012) read much of the New York Times daily, and (for a few years)
watch Rachel Maddow regularly (and some other news).
For my prior reading see:
 My Reading in October 2007 through December 2008
 My Reading in 2009
 My Reading in 2010
 My Reading in 2011
BOOKS I COMPLETED READING RECENTLY
 Allyn, Eric  30 Minutes to a Wordpress Website: The ULTIMATE Guide to Getting Started With Wordpress (Completed 6/24/2012)
 Bardi, Jason Socrates  The Calculus Wars (Completed 10/21/2012 [kindle])
 Chomsky, Noam  Reflections on Language (in On Language) (Completed 5/3/2012)
 Gallagher, Michael  Kindle Fire How To (Completed 9/25/2012)
 Gandhi  An Autobiography: The Story of My Experiments with Truth (Completed12/14/2012 [kindle])
 Golden, Jeff  Unafraid: A Novel of the Possible (Completed 4/12/2012 [kindle])
 Graham, Loren and Kantor, JeanMichel  Naming Infinity (Completed 5/12/2012)
 Hayes, Christopher  Twilight of the Elites: America after Meritocracy (Completed10/3/2012)
 Lindauer, Susan  Extreme Prejudice: The Terrifying Story of the Patriot Act And The Cover Ups
of 9/11 and Iraq (Completed 3/6/2012 [kindle])
 Maddow, Rachel  Drift (Completed 3/31/2012 [kindle])
 Mehta, Ved  Fly and the FlyBottle: Encounters with British Intellectuals (Completed 1/29/2012)
 Nixon, Robin  Learning PHP, MySQL, and JavaScript (Completed 7/1/2012) [kindle])
 Nixon, Robin  Robin Nixon's JavaScript Crash Course (Completed 6/6/2012 [kindle])
 Pinker, Stephen  The Better Angels of Our Nature: Why Violence has Declined (Completed 9/24/2012 [kindle])
 Rawls, John  A Theory of Justice, Original Edition (Completed 2/26/2012 [kindle])
 Schiller, Dawn  The Road Through Wonderland (Completed 10/7/2012 [kindle]VERY DISTRESSING)
 Singer, Peter  Practical Ethics, Third Edition (Completed 4/22/2012 [kindle])
 Soufan, Ali H.  The Black Banners (Completed 5/1/2012 [nook])
 Wright, Robin  Rock the Casbah (Completed 1/4/2012 [nook])
ARTICLES I COMPLETED RECENTLY
 Barton, D., Willers, I. M., and Zahar, R. V. M.  "The automatic solution of ordinary differential equations by the method of Taylor series", in The Computer Journal, 14(3): 243248, 1970 (Completed 8/14/2012)
 Barton, David  "On Taylor Series and Stiff Equations" in ACM Transactions on Mathematical Software, Vol 6, No 3, September 1980 (Completed 8/23/2012)
 Bern, Zvi, Dixon, Lance J., and Kosower, David A.  "Loops, Trees and the Search for New Physics" in Scientific American Volume 306 Number 5, May 2012
(Completed 4/20/2012)
 Chang, Y. F. and Corliss, G.  "RatioLike and Recurrence Relation Tests for Convergence of Series", in J. Inst. Maths Applics 25, (1980) (Completed 11/4/2012)
 Corliss, George F.  "Integrating ODE's Along Paths on Riemann Surfaces", in Proceedings of the Seventh Manitoba Conference on
Numerical Mathematics and Computing (September 29  October 1, 1977) (Completed 11/4/2012)
 Corliss, George F.  "Integrating ODE's in the Complex Plane  Pole Vaulting", in Mathematics of Computation, Volume 15, Number 152,
(October 1980) (Completed 11/4/2012)
 Corliss, George and Chang, Y. F.  "Solving Ordinary Differential Equations Using Taylor Series" in ACM Transactions on
Mathematical Software Volume 8 Number 2, June 1982, pp. 114144 (Completed 9/18/2012)
 Corliss, George and Lowery, David  "Choosing a stepsize for Taylor series methods for solving ODE's" in Journal of Computational and
Applied Mathematics, volume 3 and 4, (1977) (Completed 10/21/2012)
 Iri, Masao  "History of Automatic Differentiation and Rounding Error Estimation" in Automatic Differentiation of Algorithms: Theory, Implementation, and Application, pp. 316 (Completed 6/20/2012)
 Klement, Kevin C.  "The Functions of Russell's No Class Theory" in The Review of Symbolic Logic, Volume 3, Number 4, December 2010 (Completed 11/12/2012)
 Mee, Nicholas  "From Snowflakes to CERN: The Hunt for the Higgs Boson" (free pdf on web) (Completed 7/21/2012)
 Posy, Carl  "Intuitionism and Philosophy" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 318351 7/14/2012 Completed 9/12/2012)
 Rall, Louis B. and Corliss George F.  "An Introduction to Automatic Differentiation" in Computational Differentiation:
Techniques, Applications, and Tools, pp. 118 (Completed 6/25/2012)
 Rall, Louis B,  "Perspectives on Automatic Differentiation: Past, Present, and Future?" in Automatic Differentiation: Applications, Theory, and Implementations, pp. 114 (Completed 6/26/2012)
 Russell, Bertrand  "Mathematics and the Metaphysicians" in Mysticism and Logic. pp. 7496 (Completed 7/19/2012)
COURSES I COMPLETED RECENTLY
DOCUMENTARIES I HAVE WATCHED
 The Elegant Universe: part 4: Einstein's Big Idea (Completed 1/5/2012)
 The Elegant Universe: part 5: Einstein Revealed  Part 1 (Completed 1/14/2012)
 The Elegant Universe: part 6: Einstein Revealed  Part 2 (Completed 1/16/2012) [End of Series]
 Cracking the Code of Life (Completed 2/6/2012)
 Fractals: Hunting the Hidden Dimension (Completed 2/16/2012)
 Food Matters (Completed 4/3/2012)
 The Most Dangerous Man in America: Daniel Ellsberg and the Pentagon Papers (Completed 6/12/2012)
FACT BASED MOVIES I HAVE WATCHED

I am uncertain of my ability to accomplish all this. The only way to know is to try.
 Henrici, Peter  Applied and Computational Complex Analysis: Volume I: Power SeriesIntegrationConformal MappingLocation of Zeros (9/16/2012 to page 50 of 663 pages)
 Strang, Gilbert  CALCULUS (pp. 1615) (reread)
 Boyce, William and DiPrima, Richard C.  Elementary Differential Equations and Boundary Value Problems
(pp. 1533) (reread)
 Berg, Paul W. and McGregor, James L.  Elementary Partial Differential Equations (pp. 1388) (reread)
 Conte S. D. and de Boor, Carl  Elementary Numerical Analysis (pp. 1387) (reread)
 Ralston, Anthony  A First Course in Numerical Analysis (pp. 1533) (reread)
 Rall, Louis B.  Automatic Differentiation: Techniques and Applications (pp. 1154) (reread)

I am uncertain of my ability to accomplish all this. The only way to know is to try.
 Shapiro, Stewart "Philosophy of Mathematics and Its Logic: Introduction" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 325 Completed 2/8/2011)
 Shabel, Lisa  "Apriority and Application: Philosophy of Mathematics ion the Modern Period" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 2849 Completed 2/8/2011)
 Copi, Irving M.  The Theory of Logical Types (Completed 2/19/2011)
 Russell, Bertrand  "On the Substitutional Theory of Classes and Relations" in Essays in Analysis
(Completed 2/24/2011)
 Russell, Bertrand  "On 'Insolubilia' and their Solution by Symbolic Logic" in Essays in Analysis
(Completed 2/26/2011)
 Skorupski, John  "Later Empericism and Logical Positivism" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 5173 Completed 3/1/2011)
 Lakoff, George and Nunez, Rafael E.  Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being
(pp. 1451Completed 4/23/2011)
 Chomsky, Noam  Language and Responsibility (in On Language) (pp. 3194 Completed 6/4/2011)
 Chomsky, Noam  Reflections on Language (in On Language) (pp. 3227 Completed 5/3/2012)
 Posy, Carl  "Intuitionism and Philosophy" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 318351 7/14/2012 Completed 9/12/2012)
 Boolos, George S. and Jeffrey, Richard C.  Computability and Logic, Third Edition (reread 12/31/2012 to page 148 of 300 pages)
 Stich, Stephen  From Folk Psychology to Cognitive Science: The Case Against Belief (pp. 1246)
 Klement, Kevin C.  Frege and the Logic of Sense and Reference (pp. 3238)
 McCarty, D. C.  "Intuitionism in Mathematics" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 356383)
 Cook, Ray  "Intuitionism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 387409)
 Kenneally, Christine  The First Word (pp. 1300)
 Shoenfield, Joseph R.  Mathematical Logic (pp. 1336  9/16/2012 to page 14)
 Wolfram, Sybil  Philosophical Logic: An Introduction (pp. 1259)
 Hodges, Wilfred  "Classical Logic I: FirstOrder Logic" in The Blackwell Guide to Philosophical Logic
 ed. Goble, Lou(pp. 931)[Reread]
 Shapiro, Stewart  "Classical Logic II: HigherOrder Logic" in The Blackwell Guide to Philosophical Logic
 ed. Goble, Lou(pp. 3352)[Reread]
 Burgess, John P.  "Set Theory" in The Blackwell Guide to Philosophical Logic
 ed. Goble, Lou(pp. 5571)[Reread]
 Smullyan, Raymond  "Goedel's Incompleteness Theorems" in The Blackwell Guide to Philosophical Logic
 ed. Goble, Lou(pp. 7289)[Reread]
 Gupta, Anil  "Truth" in The Blackwell Guide to Philosophical Logic
 ed. Goble, Lou(pp. 90111)[Reread]
 Blanchette, Patricia  "Logical Consequence" in The Blackwell Guide to Philosophical Logic
 ed. Goble, Lou(pp. 115133)[Reread]
 Cresswell, M. J.  "Modal Logic" in The Blackwell Guide to Philosophical Logic
 ed. Goble, Lou(pp. 136156)[Reread]
 Jacquette, Dale  "Introduction: Logic, Philosophy, and Philosophical Logic" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 18)
 Smith, Robin  "Ancient Greek Philosophical Logic" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 1122)
 Bos, E. P. and Sundholm, B. G.  "History of Logic: Medieval" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 2434)
 George, Rolf and Van Evra, James  "The Rise of Modern Logic" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 3548)
 Bach, Kent  "Language, Logic, and Form" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 5170)
 Salmon, Nathan  "Puzzles about Intensionality" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 7384)
 Borg, Emma and Lepore, Ernest  "Symbolic Logic and Natural Language" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 8699)
 Cargile, James  "Logical Paradoxes" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 105114)
 Simmons, Keith  "Semantical and Logical Paradox" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 115129)
 Sorensen, Roy A.  "Philosophical Implications of Logical Paradoxes" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 131142)
 Sher, Gila  "Truth, the Liar, and Tarski's Semantics" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 145162)
 Ray, Greg  "Truth, the Liar, and Tarskian Truth Definition" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 164175)
 Ostertag, Gary  "Descriptions and Logical Form" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 177191)
 Landini, Gregory  "Russell's Theory of Definite Descriptions as a Paradigm for Philosophy" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 194221)
 Shapiro, Stewart  "Necessity, Meaning, and Rationality: The Notion of Logical Consequence" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 227239)
 Sundholm, B. G.  "Varieties of Consequence" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 241255)
 Jacquette, Dale  "Modality of Deductively Valid Inference" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 256261)
 Gochet, Paul  "Quantifiers, Being, and Canonical Notation" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 265277
 Hochberg, Herbert  "From Logic to Ontology: Some Problems of Predication, Negation, and Possibility" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 281290)
 Bencivenga, Ermanno  "Putting Language First: The 'Liberation' of Logic from Ontology" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 193303)
 Urquhart, Alasdair  "Metatheory" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 307317)
 Wolenski, Jan  "Metatheory of Logics and the Characterization Problem" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 319330)
 Weinstein, Scott  "Logic in Finite Structures: Definability, Complexity, and Randomness" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 332347)
 Benardete, Jose, A.  "Logic and Ontology: Numbers and Sets" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 351362)
 Tiles, Mary  "Logical Foundations of Set Theory and Mathematics" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 365375)
 Jubien, Michael  "PropertyTheoretic Foundations of Mathematics" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 377387)
 Floyd, Juliet  "Wittgenstein on Philosophy of Logic and Mathematics" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 75118)
 Demopoulos, William and Clark, Peter  "The Logicism of Frege, Dedekind, and Russell" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 129162)
 Hale, Bob and Wright, Crispin  "Logicism in the Twentyfirst Century" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 166200)
 Rayo, Agustin  "Logicism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 203232)
 Detlefsen, Michael  "Formalism" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 236310)
 Resnik, Michael D.  "Quine and the Web of Belief" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 412435)
 Maddy, Penelope  "Three Forms of Naturalism" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 437458)
 Weir, Alan  "Naturalism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 460480)
 Chihara, Charles  "Nominalism" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 483512)
 Rosen, Gideon and Burgess, John P.  "Nominalism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 515534)
 Hellman, Geoffrey  "Structuralism" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 536561)
 MacBride, Fraser  "Structuralism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 563587)
 Feferman, Soloman  "Predicativity" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 590621)
 Steiner, Mark  "Mathematics  Application and Applicability" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 625649)
 Shapiro, Stewart  "Logical Consequence, Proof Theory, and Model Theory" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 651669)
 Prawitz, Dag  "Logical Consequence From a Constructivist Point of View" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 671694)
 Tennant, Neil  "Relevance in Reasoning" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 696725)
 Burgess, John P.  "No Requirement of Relevance" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 727750)
 Shapiro, Stewart  "Higherorder Logic" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 751777)
 Jane, Ignacio  "Higherorder Logic Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic
 ed. Shapiro, Stewart(pp. 781808)
 Whitehead, Alfred North and Russell, Bertrand  Principia Mathematica to *56 (pp. 184)[Reread Introduction]
 Linsky, Bernard  Russell's Metaphysical Logic(pp. 1142)[Reread]
 Landini, Gregory  Russell's Hidden Subsitutional Theory(pp. 3323)[Reread]
 Landini, Gregory  Wittgenstein's Apprenticeship with Russell(pp. 1284)[Reread]
 Wittgenstein, Ludwig  The Big Typescript: TS 213 GermanEnglish Scholar's Edition
(pp. 2506 2/8/2011 to page 37)
 Van Benthem, Johan  "Modal Logic" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 391407)
 Fitting, Melvin  "FirstOrder Alethic Modal Logic" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 410420)
 De Rijke, Maarten and Wansing, Heinrich  "Proofs and Expressiveness in Alethic Modal Logic" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 422439)
 Schurz, Gerhard  "Alethic Modal Logics and Semantics" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 442475)
 Rescher, Nicholas  "Epistemic Logic" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 478490)
 Hilpinen, Risto  "Deontic, Epistemic, and Temporal Modal Logics" in A Companion to Philosophical Logic
 ed. Jacquette, Dale(pp. 491507)
 Blackburn, Patrick; de Rijke, Maaten; and Venema, Yde  Modal Logic(pp. 1523)

Planning to study the next two with the purpose of finding how Cantor's Theorem (PM *117) is Proved and its relation to the Axiom of Reducibility.
 Whitehead, Alfred North and Russell, Bertrand  Principia Mathematica Volume One (2nd Edition)
 Whitehead, Alfred North and Russell, Bertrand  Principia Mathematica Volume Two (2nd Edition)
 Goedel, Kurt  "On formally undecidable propositions of Principia Mathematica" in
From Frege to Goedel, ed. van Heijenoort, Jean (pp. 592617)
 Church, A.  "A Formulation of the Logic of Sense and Denotation" in Structure, Method and Meaning  ed.
Henle, Paul; Kallen, Horace M. and Langer, Susanne K. (1/8/2012 to page 12 of pp. 324)
 Cohen, Paul J.  Set Theory and the Continuum Hypothesis (pp. 1152)
 Smullyan, Raymond and Fitting, Melvin  Set Theory and the Continuum Problem (pp. 3303)

COURSES I PLAN TO TAKE SOON(GOALS)
 Lorayne, Harry  memory POWER