Updates from Issa Rice Toggle Comment Threads | Keyboard Shortcuts

  • Issa Rice 3:39 pm on February 1, 2019 Permalink | Reply  

    2019-01-30 

    I spent some time reviewing some things in linear algebra (I had forgotten the justifications of some results).

    I continued a bit with logic (Goldrei’s book).

    I went through some questions I had written up, and Ankified some of the ones I was able to answer.

    I started the page Intuitiveness and simplicity tradeoff.

    I started reading Goldblatt’s Topoi: The Categorial Analysis of Logic. I suspect I will want to learn category theory at some point, even though I don’t have an immediate use for it.

    Advertisements
     
  • Issa Rice 12:10 pm on January 30, 2019 Permalink | Reply  

    2019-01-29 

    I continued working through Goldrei’s logic book, mostly on results leading up to the completeness theorem for propositional logic. I also read through the proof of the completeness theorem (I believe it’s called a Henkin-style proof), but I don’t understand it yet. I think I need to go back and make more of the previous results “automatic” before I can fully understand the completeness proof.

     
  • Issa Rice 12:07 pm on January 30, 2019 Permalink | Reply  

    2019-01-28 

    I continued with logic, working out of Goldrei’s book (soundness theorem and some peripheral results).

    I also started going through the Henkin proof of completeness (for first-order logic) in Leary and Kristiansen’s book. There’s a lot of stuff going on in this proof, so I’m planning to go through it multiple times (Ankifying as I go).

     
  • Issa Rice 7:03 pm on January 28, 2019 Permalink | Reply  

    2019-01-27 

    I worked through more of Goldrei’s logic book.

    I spent some time adding to the Models symbol page.

    I also spent a bunch of time trying to look up different definitions of semantic consequence (I think there are at least two different definitions floating around that disagree on formulas containing free variables, but I haven’t been able to find much).

     
  • Issa Rice 6:58 pm on January 28, 2019 Permalink | Reply  

    2019-01-26 

    I didn’t do much math on this day. In the evening I tried reading again Robin Hanson’s pre-rationality paper as well as some related posts by Wei Dai (1, 2) and Abram Demski. I failed yet again to understand this; I probably wasn’t trying hard enough. Also, I think understanding this would be easier after I read more things about Aumann agreement and so forth.

     
  • Issa Rice 2:39 pm on January 26, 2019 Permalink | Reply  

    2019-01-25 

    I did some non-math things on this day, including some work for Vipul.

    I found out that a book about emotions in mathematics was recently published. I was initially excited and started reading it, but became less excited when I started to see the titles of the papers that were being written.

     
  • Issa Rice 2:33 pm on January 26, 2019 Permalink | Reply  

    2019-01-24 

    I rested on this day and didn’t do any math.

     
  • Issa Rice 2:30 pm on January 26, 2019 Permalink | Reply  

    2019-01-23 

    I continued working through Leary and Kristiansen’s logic book, but I didn’t like the proof of the deduction theorem, so I decided to work through Goldrei’s book a bit to get myself used to working with formal systems; Goldrei’s book goes slower, spends time building up propositional logic rather than going straight to first-order logic, and also uses a more “mindless” kind of axiomatic system (Leary and Kristiansen’s book seems to define the deductive system by bringing in semantics, which is the thing I didn’t like/understand).

    I thought about how to explain belief propagation and started writing something up, but then gave up.

     
  • Issa Rice 1:04 am on January 23, 2019 Permalink | Reply  

    2019-01-22 

    This was pretty similar to the previous day: I worked through more of Leary and Kristiansen’s logic book.

    I read a bit of the Boolos/Burgess/Jeffrey book, namely 14.1 (sequent calculus) and 14.3 (other proof procedures and Hilbert’s thesis). I had previously read this when I was first learning logic out of this book (many months ago). This made way more sense now that I have had more exposure to logic from other sources.

    I started on the page Comparison of intuitive notions of computability and proof.

    I thought again about the two different ways of stating semantic completeness.

    I read more of Peter Smith’s Gödel book.

    (The caffeine reset has been going well; I can mostly think normally now and I don’t need to nap in the afternoon.)

     
  • Issa Rice 12:58 am on January 23, 2019 Permalink | Reply  

    2019-01-21 

    I worked through more of Leary and Kristiansen’s logic book.

    I also read a bit of Chiswell and Hodges’s logic book, to see what it’s like. (Peter Smith recommends both of these books for this level of first-order logic.) I think I have a preference for Leary and Kristiansen’s book, so I am planning to make that one my “main book” for now and only referring to Chiswell and Hodges as a supplement.

    I also read a bit more of Peter Smith’s Gödel book.

     
  • Issa Rice 10:31 pm on January 20, 2019 Permalink | Reply  

    2019-01-20 

    I continued with the caffeine reset and relaxation.

    I again did some work for Vipul Naik (Donations List Website).

    I worked through some exercises in Leary and Kristiansen’s logic book.

     
  • Issa Rice 10:30 pm on January 20, 2019 Permalink | Reply  

    2019-01-19 

    I continued with the caffeine reset and relaxation.

    I also did some work for Vipul Naik (on the Donations List Website).

    In the evening I did some math. I think I finally figured out how to phrase covariance in terms of a conditional expectation (though I’m still undecided on whether this makes things more intuitive).

    I also proved the equivalence of the definition of differentiation with Caratheodory’s definition (for a single variable), and proved the chain rule using Caratheodory’s definition.

     
  • Issa Rice 11:18 pm on January 18, 2019 Permalink | Reply  

    2019-01-18 

    I continued with the caffeine reset and relaxation.

     
  • Issa Rice 11:18 pm on January 18, 2019 Permalink | Reply  

    2019-01-17 

    I decided to do a caffeine reset and to relax, so didn’t do any math on this day.

     
  • Issa Rice 11:17 pm on January 18, 2019 Permalink | Reply  

    2019-01-16 

    I continued learning about things in statistics (variance, covariance, confidence vs credible intervals, significance tests). I’m still at the stage of exploring the ideas rather than using them to solve problems.

     
  • Issa Rice 11:23 pm on January 15, 2019 Permalink | Reply  

    2019-01-15 

    I continued thinking about some things in probability and statistics (extending the sample space, what the type of a “hypothesis” is, the setup of classical statistical inference).

    I started on pages for Expectation and Variance.

     
  • Issa Rice 11:19 pm on January 15, 2019 Permalink | Reply  

    2019-01-14 

    I thought about some things in probability and statistics, e.g. notation for expected value and the expansion of the sample space.

    I started the pages Subfield of math as study of concepts preserved under transformation, Disappearance of sample space, and List of sample space perspectives.

     
  • Issa Rice 7:28 pm on January 14, 2019 Permalink | Reply  

    2019-01-13 

    I finished reading “A Technical Explanation of Technical Explanation”.

    I read “Toward a New Technical Explanation of Technical Explanation”.

     
  • Issa Rice 10:10 am on January 13, 2019 Permalink | Reply  

    2019-01-12 

    I read most of the way through “A Technical Explanation of Technical Explanation”.

     
  • Issa Rice 1:12 pm on January 12, 2019 Permalink | Reply  

    2019-01-11 

    I continued learning about Lagrange multipliers. I want to say more about this later (probably on a Subwiki), but for now I will just note that Lagrange multipliers seem like an inherently visual topic, so I don’t like how many explanations are very verbal. Even when an explanation includes a visualization, it usually includes just one visualization; if I were to explain it, I would want to include multiple visualizations, including nearby incorrect visualizations.

     
c
Compose new post
j
Next post/Next comment
k
Previous post/Previous comment
r
Reply
e
Edit
o
Show/Hide comments
t
Go to top
l
Go to login
h
Show/Hide help
shift + esc
Cancel
Create your website at WordPress.com
Get started