The March Hare is a character from the book written by the mathematician and logician of what religion?
Lewis Carroll Charles Lutwidge Dodgson ( ; 27 January 1832 – 14 January 1898), better known by his pen name Lewis Carroll ( ), was an English writer, mathematician, logician, Anglican deacon, and photographer. His most famous writings are "Alice's Adventures in Wonderland", its sequel "Through the Looking-Glass", which includes the poem "Jabberwocky", and the poem "The Hunting of the Snark", all examples of the genre of literary nonsense. He is noted for his facility at word play, logic and fantasy. There are societies in many parts of the world dedicated to the enjoyment and promotion of his works and the investigation of his life.
Frege's theorem In metalogic and metamathematics, Frege's theorem is a metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle. It was first proven, informally, by Gottlob Frege in his "Die Grundlagen der Arithmetik" ("The Foundations of Arithmetic"), published in 1884, and proven more formally in his "Grundgesetze der Arithmetik" ("The Basic Laws of Arithmetic"), published in two volumes, in 1893 and 1903. The theorem was re-discovered by Crispin Wright in the early 1980s and has since been the focus of significant work. It is at the core of the philosophy of mathematics known as neo-logicism.