Bump addressable from 2.7.0 to 2.8.0

Gemfile.lock

@@ -4,7 +4,7 @@ GEM
     activesupport (3.2.22.5)
       i18n (~> 0.6, >= 0.6.4)
       multi_json (~> 1.0)
-    addressable (2.7.0)
+    addressable (2.8.0)
       public_suffix (>= 2.0.2, < 5.0)
     coffee-script (2.4.1)
       coffee-script-source

_coursework/index.md

@@ -19,7 +19,7 @@ Here you'll find homework, papers, and rough notes on topics from my undergradua
 
 **Set Theory:** [HW1](\hw\Fall%202019\set-theory\PDFs\set-theory-hw1.pdf), [HW2](\hw\Fall%202019\set-theory\PDFs\set-theory-hw2.pdf), [HW4](\hw\Fall%202019\set-theory\PDFs\set-theory-hw4.pdf).
 
-**Numerical Analaysis:** [HW1](\hw\Spring%202019\Num%20Analysis\hw1\hw1.pdf), [HW2](\hw\Spring%202019\Num%20Analysis\hw2\hw2.pdf), [HW3](\hw\Spring%202019\Num%20Analysis\hw3\hw3.pdf), [HW4](\hw\Spring%202019\Num%20Analysis\hw4\hw4.pdf), [HW5](\hw\Spring%202019\Num%20Analysis\hw5\hw5.pdf).
+**Numerical Analysis:** [HW1](\hw\Spring%202019\Num%20Analysis\hw1\hw1.pdf), [HW2](\hw\Spring%202019\Num%20Analysis\hw2\hw2.pdf), [HW3](\hw\Spring%202019\Num%20Analysis\hw3\hw3.pdf), [HW4](\hw\Spring%202019\Num%20Analysis\hw4\hw4.pdf), [HW5](\hw\Spring%202019\Num%20Analysis\hw5\hw5.pdf).
 
 **Math Reasoning:** [HW1](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw1.pdf), [HW2a](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw2a.pdf), [HW2b](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw2b.pdf), [HW3a](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw3a.pdf), [HW3b](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw3b.pdf), [HW4a](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw.pdf), [HW4b](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw.pdf), [HW5a](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw5a.pdf), [HW5b](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw5b.pdf), [HW6a](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw6a.pdf), [HW6b](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw6b.pdf), [HW7a](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw7a.pdf), [HW7b](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw7b.pdf), [HW8a](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw8a.pdf), [HW8b](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw8b.pdf), [HW9a](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw9a.pdf), [HW9b](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw9b.pdf), [HW10a](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw10a.pdf), [HW10b](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw10b.pdf), [HW11a](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw11a.pdf), [HW11b](\hw\Fall%202018\Math%20Reasoning\PDFs\mathreasonhw11b.pdf).
 

_data/navigation.yml

@@ -4,7 +4,7 @@ main:
     url: /
   # - title: "About"
   #   url: /about/
-  - title: "Portfolio"
+  - title: "Projects"
     url: /portfolio/
   - title: "Coursework"
     url: /coursework/
@@ -21,7 +21,7 @@ main:
 
 # sidebar for projects
 portfolio:
-  - title: "Projects"
+  - title: "All Projects"
     children:
       - title: "• qRNG"
         url: "https://github.com/ozaner/qRNG"

_portfolio/index.md

@@ -11,7 +11,7 @@ feature_row:
   - image_path: assets/images/projects/qRNG.png
     alt: "qRNG"
     title: "qRNG: A Quantum Random Number Generator"
-    excerpt: "A python API for generating random numbers using IBM's publically available quantum computers."
+    excerpt: "A python API for generating random numbers using IBM's publicly available quantum computers."
     url: "https://github.com/ozaner/qRNG"
     btn_label: "Code Here"
     btn_class: "btn--inverse"

_posts/math/00-0-0-inclusion-exclusion-principle.md

@@ -125,7 +125,7 @@ $$P\left(\bigcup_{i=1}^nE_i\right)=\sum _{I\subseteq [1..n] \atop I\not=\emptyse
 ## Cardinality Case
 To see how the principle applies to cardinality, we define the following measure $\mu:\Sigma\to[0,\infty]$ for an arbitrary measureable space $(X,\Sigma)$: 
 
-$$\mu(S)={\begin{cases}\vert S\vert, &|S|\in\aleph_0\\\infty, &|S|\not\in\aleph_0\end{cases}}$$
+$$\mu(S)={\begin{cases}\vert S\vert, &|S|<\aleph_0\\\infty, &|S|\ge\aleph_0\end{cases}}$$
 
 <!-- $$\mu (S)={\begin{cases}\vert S\vert &{\text{if }}S{\text{ is finite}}\\+\infty &{\text{if }}S{\text{ is infinite}}\end{cases}}$$ -->
 

_posts/philosophy/00-0-0-grounding-ideas.md

@@ -21,9 +21,9 @@ There is no formal definition of these concepts. We just know them when we see t
 
 "Alright," you might say, "maybe humanity and jealousy are too lofty to state objectively, but can't cats be formally defined? Surely a cat has a particular genome that defines it regardless of its outward appearance, right?"
 
-But in a world where cats evolved from another species via gradual mutations to individual base pairs in their DNA (not big leaps), where do we draw the line between cat and cave-cat, so to speak.
+But in a world where cats evolved from another species via gradual mutations to individual base pairs in their DNA (not big leaps), where do we draw the line between cat and cave-cat, so to speak?
 
-Moreover is a picture of a cat a cat? It certainly represents the notion of a cat, but it doesn't exactly have genetic material. Plus, there is no formal way to tell whether a given picture is of a cat or not. No formula, no physical law of cats. We can tell a cat, real or drawn, from another animal using our *intuition*, whatever that is.
+Moreover, is a picture of a cat a cat? It certainly represents the notion of a cat, but it doesn't exactly have genetic material. Plus, there is no formal way to tell whether a given picture is of a cat or not. No formula, no physical law of cats. We can tell a cat, real or drawn, from another animal using our *intuition*, whatever that is.
 
 "But it's easy" you might say, "just look for a tail, 4 legs, pointy ears and some fur." What about hairless cats? a cat drawn with no tail? a cat who's ears are down, etc. There are so many exceptions that it's a miracle we are even able to tell cat from houseplant!
 
@@ -121,11 +121,11 @@ It also serves as a sort of refutation of the idea that some "things" are "nonph
 ### An Aside
 The idea I presented above is, of course, ridiculous and riddled with problems. It is just meant to serve as a rough idea of how one might formalize the notion of an "idea" or "concept" when, at first, it may seem that they can only exist in our minds. Indeed these concepts do only exist in our minds, but our minds are purely physical, unless you obstinately claim the contrary.
 
-One such problem I would like to somewhat address is the apparent circularity of saying "the notion of cat is encompassed by the set of all brains that are thinking of the concept of cat." This isn't as bad as it sounds because it should really be phrased as "the notion of cat is encompassed by the set of all brains that are thinking of **what the brain considers** the concept of cat." This definition draws on our own subjective ideas of cats to objectively define them. That is to say, we can take advantage of the human brain's unique capacity to introspect to help us define these concepts.[^f8]
+One such problem I would like to somewhat address is the apparent circularity of saying "the notion of cat is encompassed by the set of all brains that are thinking of the concept of cat." This isn't as bad as it sounds because it should really be phrased as "the notion of cat is encompassed by the set of all brains that are thinking of **what the brain considers** the concept of cat." This definition draws on our own subjective ideas of cats to objectively define them. That is to say, we can take advantage of the human brain's unique capacity to introspect to help us define these concepts.
 
 <!-- (In this case *our* might represent an average of all human opinions or something of the sort.) -->
 
-Another, more subtle, problem is that a certain concept or idea that occurs in a human mind may not be isolated in their brains. The human mind is a complex mechanism whose function is a product of one's body, senses, and general environment. This problem can be solved by simply replacing the idea of brain graph with the set of cells that represent the human body or even set of particles/wavefunction that comprise that human body if necessary. The brain graph formulation I used above is simply for intuitive convenience.
+Another problem is that a certain concept or idea that occurs in a human mind may not be isolated in their brains. The human mind is a complex mechanism whose function is a product of one's body, senses, and general environment. This problem can be solved by simply replacing the idea of brain graph with the set of cells that represent the human body or even set of particles/wavefunction that comprise that human body if necessary. The brain graph formulation I used above is simply for intuitive convenience.
 
 <!-- Footer -->