The Incompleteness Theorems and Their Relevance to Axiomatic Indeterminance

Here is the link to the Google Document for this week's blog post. Unfortunately I am still unable to upload to Blogger due to the lack of support for mathematical notation. 

Comments

  1. EricaFebruary 11, 2022 at 9:25 PM

    Josiah,
    Lovely work, fascinating topic!

    ReplyDelete
  2. TTFebruary 12, 2022 at 6:37 AM

    Josiah,
    I interpreted axiomatic as questionable. I hope that was the correct assumption. It is interesting to think of languages in this way, especially when you mention altering what is true. I do wonder what makes these algorithms true, especially in my calculus class. Some of these concepts are new to me but I found this to be interesting.

    Thanks for sharing.

    ReplyDelete

Post a Comment

Popular posts from this blog

Utilizing the GTEx Gene V8 and GNF Atlas Tracks in the UCSC Genome Browser to Evaluate PIR Expression

Image
This week I will once again be using the UCSC Genome Browser ( http://genome.ucsc.edu ), this time to gather data on how PIR expresses the pirin protein (Kent, Sugnet, Furey, et al., 2002). One of the traditional methods of gene expression analysis is through the use of DNA microarray assays, a process in which a sample of mRNA is essentially reversed engineered into DNA through a Reverse Transcriptase Polymerase Chain Reaction (RT-PCR). RT-PCR synthesizes DNA by taking the mRNA sample and utilizing an enzyme known as reverse-transcriptase as well as a polythymine primer (mRNA has a polyadenine tail) to create a single stranded complementary DNA molecule to the mRNA sample by deducing the proper nitrogenous bases for the DNA strand given the nitrogenous bases of the mRNA. This single stranded complementary DNA (cDNA) can then be dyed and placed into the microarray with any number of single stranded genes and DNA polymerase, thereby allowing the gene DNA to bind to the cDNA (Unbound cDN...
Read more

The VarSite Database and Potential Future Investigations of Pirin

        Last week I utilized EBI’s database to research the pathologies associated with pirin in the human body. This week I will continue to use EBI’s database, specifically VarSite, a portion of the EBI database concerned with cataloging disease-associated variants in humans (Laskowski, Stephenson, Sillitoe, et al., 2020). I will be using this database to further research pirin-associated pathologies as well as its catalytic activity and tissue specificity.  When searching for pirin on the VarSite database I was immediately given pirin’s ID number ( O0065 ), its VarSite ID number ( PIR_Human ), as well as a brief description of pirin’s tissue specificity and tissue related pathology that reads as follows “[Pirin is] highly expressed in a subset of melanomas. Detected at very low levels in most tissues (at protein level). Expressed in all tissues, with highest level [ sic ] of expres sion in heart and liver.” This description fits with my research...
Read more