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