This is what I attempted to do later in the semester after I
found that there is a definite patern in the way that the rules of
inference are applied. Unfortunately, I just did not have enough
time to put this into the main program, but I do feel that it
deserves some explanation here. First, let's look at to simple
rules of inference and how these are related to each other. Modus
ponens states that $(p\land (p\rightarrow q))\rightarrow q
\Leftrightarrow T $ and hypothetical syllogism states that
$((p\rightarrow q)\land(q\rightarrow r))\rightarrow(p\rightarrow
r)\Leftrightarrow T$. Now, without thinking about the logic behind
these statements and just thinking about how each of these acts
like a mold we can create a single method that can â€¦

Here I will be outlying what it is I have done for my senior
project. It will go over some basic concepts of logic, some of the
code I have written, as well as ways that I feel this code can be
improved upon.

Over the course of this semester I have been writing a proof
checker in python. Specifically, it checks proofs written in the
Hilbert style which I have found in Understanding Symbolic Logic by
Klenk. My motivation came from the QED Manifesto. I did some
additional research by reading QED Manifesto Revisited and looked
at various proof assistants and checkers. What I found was that
none of these seemed to be focused towards Mathematicians. The
syntax used to check certain simple proofs seemed overly
complicated. It is this learning curâ€¦

Here I will outline the danmaku project that I will be working
on over winter break.

I will be using Libgdx for the game development framework. One
of the pros of this is that you can develop and do your debugging
on your desktop before testing it on the Android. The compile time
is significantly faster and so you can test code more often without
it slowing you down.

The player will be represented as a red circle which will be
pretty small in comparison to the rest of the screen. This will be
a placeholder for testing purposes. I plan to later replace this
with a better looking graphic for the player. However, the red
circle will remain as it represents the primary hitbox for the
player. One of the main features of a danmaku game is the hugeâ€¦