Home Page of Dennis J. Darland's Studies in 2012 djd
Email: Mail To: pal at dennisdarland dot com
Comments welcome
For other things I'm doing see my home page.

  1. 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 e-books (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:
    1. My Reading in October 2007 through December 2008
    2. My Reading in 2009
    3. My Reading in 2010
    4. My Reading in 2011

  2. BOOKS I COMPLETED READING RECENTLY

    1. Allyn, Eric - 30 Minutes to a Wordpress Website: The ULTIMATE Guide to Getting Started With Wordpress (Completed 6/24/2012)
    2. Bardi, Jason Socrates - The Calculus Wars (Completed 10/21/2012 [kindle])
    3. Chomsky, Noam - Reflections on Language (in On Language) (Completed 5/3/2012)
    4. Gallagher, Michael - Kindle Fire How To (Completed 9/25/2012)
    5. Gandhi - An Autobiography: The Story of My Experiments with Truth (Completed12/14/2012 [kindle])
    6. Golden, Jeff - Unafraid: A Novel of the Possible (Completed 4/12/2012 [kindle])
    7. Graham, Loren and Kantor, Jean-Michel - Naming Infinity (Completed 5/12/2012)
    8. Hayes, Christopher - Twilight of the Elites: America after Meritocracy (Completed10/3/2012)
    9. 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])
    10. Maddow, Rachel - Drift (Completed 3/31/2012 [kindle])
    11. Mehta, Ved - Fly and the Fly-Bottle: Encounters with British Intellectuals (Completed 1/29/2012)
    12. Nixon, Robin - Learning PHP, MySQL, and JavaScript (Completed 7/1/2012) [kindle])
    13. Nixon, Robin - Robin Nixon's JavaScript Crash Course (Completed 6/6/2012 [kindle])
    14. Pinker, Stephen - The Better Angels of Our Nature: Why Violence has Declined (Completed 9/24/2012 [kindle])
    15. Rawls, John - A Theory of Justice, Original Edition (Completed 2/26/2012 [kindle])
    16. Schiller, Dawn - The Road Through Wonderland (Completed 10/7/2012 [kindle]VERY DISTRESSING)
    17. Singer, Peter - Practical Ethics, Third Edition (Completed 4/22/2012 [kindle])
    18. Soufan, Ali H. - The Black Banners (Completed 5/1/2012 [nook])
    19. Wright, Robin - Rock the Casbah (Completed 1/4/2012 [nook])

  3. ARTICLES I COMPLETED RECENTLY

    1. 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): 243-248, 1970 (Completed 8/14/2012)
    2. Barton, David - "On Taylor Series and Stiff Equations" in ACM Transactions on Mathematical Software, Vol 6, No 3, September 1980 (Completed 8/23/2012)
    3. 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)
    4. Chang, Y. F. and Corliss, G. - "Ratio-Like and Recurrence Relation Tests for Convergence of Series", in J. Inst. Maths Applics 25, (1980) (Completed 11/4/2012)
    5. 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)
    6. 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)
    7. 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. 114-144 (Completed 9/18/2012)
    8. 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)
    9. Iri, Masao - "History of Automatic Differentiation and Rounding Error Estimation" in Automatic Differentiation of Algorithms: Theory, Implementation, and Application, pp. 3-16 (Completed 6/20/2012)
    10. 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)
    11. Mee, Nicholas - "From Snowflakes to CERN: The Hunt for the Higgs Boson" (free pdf on web) (Completed 7/21/2012)
    12. Posy, Carl - "Intuitionism and Philosophy" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 318-351 7/14/2012 Completed 9/12/2012)
    13. Rall, Louis B. and Corliss George F. - "An Introduction to Automatic Differentiation" in Computational Differentiation: Techniques, Applications, and Tools, pp. 1-18 (Completed 6/25/2012)
    14. Rall, Louis B, - "Perspectives on Automatic Differentiation: Past, Present, and Future?" in Automatic Differentiation: Applications, Theory, and Implementations, pp. 1-14 (Completed 6/26/2012)
    15. Russell, Bertrand - "Mathematics and the Metaphysicians" in Mysticism and Logic. pp. 74-96 (Completed 7/19/2012)

  4. COURSES I COMPLETED RECENTLY

  5. DOCUMENTARIES I HAVE WATCHED

    1. The Elegant Universe: part 4: Einstein's Big Idea (Completed 1/5/2012)
    2. The Elegant Universe: part 5: Einstein Revealed - Part 1 (Completed 1/14/2012)
    3. The Elegant Universe: part 6: Einstein Revealed - Part 2 (Completed 1/16/2012) [End of Series]
    4. Cracking the Code of Life (Completed 2/6/2012)
    5. Fractals: Hunting the Hidden Dimension (Completed 2/16/2012)
    6. Food Matters (Completed 4/3/2012)
    7. The Most Dangerous Man in America: Daniel Ellsberg and the Pentagon Papers (Completed 6/12/2012)

  6. FACT BASED MOVIES I HAVE WATCHED

  7. MATHEMATICS and NUMERICAL ANALYSIS (Material to read or re-read)

    I am uncertain of my ability to accomplish all this. The only way to know is to try.
    1. Henrici, Peter - Applied and Computational Complex Analysis: Volume I: Power Series-Integration-Conformal Mapping-Location of Zeros (9/16/2012 to page 50 of 663 pages)
    2. Strang, Gilbert - CALCULUS (pp. 1-615) (re-read)
    3. Boyce, William and DiPrima, Richard C. - Elementary Differential Equations and Boundary Value Problems (pp. 1-533) (re-read)
    4. Berg, Paul W. and McGregor, James L. - Elementary Partial Differential Equations (pp. 1-388) (re-read)
    5. Conte S. D. and de Boor, Carl - Elementary Numerical Analysis (pp. 1-387) (re-read)
    6. Ralston, Anthony - A First Course in Numerical Analysis (pp. 1-533) (re-read)
    7. Rall, Louis B. - Automatic Differentiation: Techniques and Applications (pp. 1-154) (re-read)

  8. LOGIC and LANGUAGE STUDY PLAN (Material to read or re-read) - INCLUDES PORTION FROM 2011

    I am uncertain of my ability to accomplish all this. The only way to know is to try.
    1. Shapiro, Stewart "Philosophy of Mathematics and Its Logic: Introduction" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 3-25 Completed 2/8/2011)
    2. 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. 28-49 Completed 2/8/2011)
    3. Copi, Irving M. - The Theory of Logical Types (Completed 2/19/2011)
    4. Russell, Bertrand - "On the Substitutional Theory of Classes and Relations" in Essays in Analysis (Completed 2/24/2011)
    5. Russell, Bertrand - "On 'Insolubilia' and their Solution by Symbolic Logic" in Essays in Analysis (Completed 2/26/2011)
    6. Skorupski, John - "Later Empericism and Logical Positivism" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 51-73 Completed 3/1/2011)
    7. Lakoff, George and Nunez, Rafael E. - Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being (pp. 1-451Completed 4/23/2011)
    8. Chomsky, Noam - Language and Responsibility (in On Language) (pp. 3-194 Completed 6/4/2011)
    9. Chomsky, Noam - Reflections on Language (in On Language) (pp. 3-227 Completed 5/3/2012)
    10. Posy, Carl - "Intuitionism and Philosophy" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 318-351 7/14/2012 Completed 9/12/2012)
    11. Boolos, George S. and Jeffrey, Richard C. - Computability and Logic, Third Edition (re-read 12/31/2012 to page 148 of 300 pages)
    12. Stich, Stephen - From Folk Psychology to Cognitive Science: The Case Against Belief (pp. 1-246)
    13. Klement, Kevin C. - Frege and the Logic of Sense and Reference (pp. 3-238)
    14. McCarty, D. C. - "Intuitionism in Mathematics" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 356-383)
    15. Cook, Ray - "Intuitionism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 387-409)
    16. Kenneally, Christine - The First Word (pp. 1-300)
    17. Shoenfield, Joseph R. - Mathematical Logic (pp. 1-336 - 9/16/2012 to page 14)
    18. Wolfram, Sybil - Philosophical Logic: An Introduction (pp. 1-259)
    19. Hodges, Wilfred - "Classical Logic I: First-Order Logic" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 9-31)[Re-read]
    20. Shapiro, Stewart - "Classical Logic II: Higher-Order Logic" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 33-52)[Re-read]
    21. Burgess, John P. - "Set Theory" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 55-71)[Re-read]
    22. Smullyan, Raymond - "Goedel's Incompleteness Theorems" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 72-89)[Re-read]
    23. Gupta, Anil - "Truth" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 90-111)[Re-read]
    24. Blanchette, Patricia - "Logical Consequence" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 115-133)[Re-read]
    25. Cresswell, M. J. - "Modal Logic" in The Blackwell Guide to Philosophical Logic - ed. Goble, Lou(pp. 136-156)[Re-read]
    26. Jacquette, Dale - "Introduction: Logic, Philosophy, and Philosophical Logic" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 1-8)
    27. Smith, Robin - "Ancient Greek Philosophical Logic" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 11-22)
    28. Bos, E. P. and Sundholm, B. G. - "History of Logic: Medieval" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 24-34)
    29. George, Rolf and Van Evra, James - "The Rise of Modern Logic" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 35-48)
    30. Bach, Kent - "Language, Logic, and Form" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 51-70)
    31. Salmon, Nathan - "Puzzles about Intensionality" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 73-84)
    32. Borg, Emma and Lepore, Ernest - "Symbolic Logic and Natural Language" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 86-99)
    33. Cargile, James - "Logical Paradoxes" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 105-114)
    34. Simmons, Keith - "Semantical and Logical Paradox" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 115-129)
    35. Sorensen, Roy A. - "Philosophical Implications of Logical Paradoxes" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 131-142)
    36. Sher, Gila - "Truth, the Liar, and Tarski's Semantics" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 145-162)
    37. Ray, Greg - "Truth, the Liar, and Tarskian Truth Definition" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 164-175)
    38. Ostertag, Gary - "Descriptions and Logical Form" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 177-191)
    39. Landini, Gregory - "Russell's Theory of Definite Descriptions as a Paradigm for Philosophy" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 194-221)
    40. Shapiro, Stewart - "Necessity, Meaning, and Rationality: The Notion of Logical Consequence" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 227-239)
    41. Sundholm, B. G. - "Varieties of Consequence" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 241-255)
    42. Jacquette, Dale - "Modality of Deductively Valid Inference" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 256-261)
    43. Gochet, Paul - "Quantifiers, Being, and Canonical Notation" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 265-277
    44. Hochberg, Herbert - "From Logic to Ontology: Some Problems of Predication, Negation, and Possibility" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 281-290)
    45. Bencivenga, Ermanno - "Putting Language First: The 'Liberation' of Logic from Ontology" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 193-303)
    46. Urquhart, Alasdair - "Metatheory" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 307-317)
    47. Wolenski, Jan - "Metatheory of Logics and the Characterization Problem" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 319-330)
    48. Weinstein, Scott - "Logic in Finite Structures: Definability, Complexity, and Randomness" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 332-347)
    49. Benardete, Jose, A. - "Logic and Ontology: Numbers and Sets" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 351-362)
    50. Tiles, Mary - "Logical Foundations of Set Theory and Mathematics" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 365-375)
    51. Jubien, Michael - "Property-Theoretic Foundations of Mathematics" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 377-387)
    52. Floyd, Juliet - "Wittgenstein on Philosophy of Logic and Mathematics" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 75-118)
    53. 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. 129-162)
    54. Hale, Bob and Wright, Crispin - "Logicism in the Twenty-first Century" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 166-200)
    55. Rayo, Agustin - "Logicism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 203-232)
    56. Detlefsen, Michael - "Formalism" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 236-310)
    57. Resnik, Michael D. - "Quine and the Web of Belief" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 412-435)
    58. Maddy, Penelope - "Three Forms of Naturalism" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 437-458)
    59. Weir, Alan - "Naturalism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 460-480)
    60. Chihara, Charles - "Nominalism" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 483-512)
    61. Rosen, Gideon and Burgess, John P. - "Nominalism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 515-534)
    62. Hellman, Geoffrey - "Structuralism" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 536-561)
    63. MacBride, Fraser - "Structuralism Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 563-587)
    64. Feferman, Soloman - "Predicativity" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 590-621)
    65. Steiner, Mark - "Mathematics -- Application and Applicability" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 625-649)
    66. Shapiro, Stewart - "Logical Consequence, Proof Theory, and Model Theory" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 651-669)
    67. Prawitz, Dag - "Logical Consequence From a Constructivist Point of View" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 671-694)
    68. Tennant, Neil - "Relevance in Reasoning" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 696-725)
    69. Burgess, John P. - "No Requirement of Relevance" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 727-750)
    70. Shapiro, Stewart - "Higher-order Logic" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 751-777)
    71. Jane, Ignacio - "Higher-order Logic Reconsidered" in The Oxford Handbook of Philosophy of Mathematics and Logic - ed. Shapiro, Stewart(pp. 781-808)
    72. Whitehead, Alfred North and Russell, Bertrand - Principia Mathematica to *56 (pp. 1-84)[Re-read Introduction]
    73. Linsky, Bernard - Russell's Metaphysical Logic(pp. 1-142)[Re-read]
    74. Landini, Gregory - Russell's Hidden Subsitutional Theory(pp. 3-323)[Re-read]
    75. Landini, Gregory - Wittgenstein's Apprenticeship with Russell(pp. 1-284)[Re-read]
    76. Wittgenstein, Ludwig - The Big Typescript: TS 213 German-English Scholar's Edition (pp. 2-506 2/8/2011 to page 37)
    77. Van Benthem, Johan - "Modal Logic" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 391-407)
    78. Fitting, Melvin - "First-Order Alethic Modal Logic" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 410-420)
    79. De Rijke, Maarten and Wansing, Heinrich - "Proofs and Expressiveness in Alethic Modal Logic" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 422-439)
    80. Schurz, Gerhard - "Alethic Modal Logics and Semantics" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 442-475)
    81. Rescher, Nicholas - "Epistemic Logic" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 478-490)
    82. Hilpinen, Risto - "Deontic, Epistemic, and Temporal Modal Logics" in A Companion to Philosophical Logic - ed. Jacquette, Dale(pp. 491-507)
    83. Blackburn, Patrick; de Rijke, Maaten; and Venema, Yde - Modal Logic(pp. 1-523)
    84. 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.
    85. Whitehead, Alfred North and Russell, Bertrand - Principia Mathematica Volume One (2nd Edition)
    86. Whitehead, Alfred North and Russell, Bertrand - Principia Mathematica Volume Two (2nd Edition)
    87. Goedel, Kurt - "On formally undecidable propositions of Principia Mathematica" in From Frege to Goedel, ed. van Heijenoort, Jean (pp. 592-617)
    88. 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. 3-24)
    89. Cohen, Paul J. - Set Theory and the Continuum Hypothesis (pp. 1-152)
    90. Smullyan, Raymond and Fitting, Melvin - Set Theory and the Continuum Problem (pp. 3-303)

  9. COURSES I PLAN TO TAKE SOON(GOALS)

    1. Lorayne, Harry - memory POWER