A Proof of God

Adams, Colin
June 2004
Mathematical Intelligencer;Summer2004, Vol. 26 Issue 3, p13
Academic Journal
Presents the author's accounts regarding a mathematical proof of God. Contradiction from a mathematical proof; Description of mathematics; Function of algebraic lingerie.


Related Articles

  • Fields and colors. Baudisch, A.; Martin-Pizarro, A.; Ziegler, M. // Algebra & Logic;Mar2006, Vol. 45 Issue 2, p92 

    We exhibit a simplified version of the construction of a field of Morley rank p with a predicate of rank p - 1, extracting the main ideas for our construction from previous papers and refining the arguments. Moreover, an explicit axiomatization is given and ranks are computed.

  • HECKE ALGEBRAS OF CLASSICAL TYPE AND THEIR REPRESENTATION TYPE (Proc. London Math. Soc. (3) 91 (2005) 355�413). ARIKI, SUSUMU // Proceedings of the London Mathematical Society;Mar2006, Vol. 92 Issue 2, p342 

    This corrigendum supplies different proofs for those places in the original paper where a certain theorem by Rickard was used.

  • Weak Ideals of a C-algebra. Vali, S. Kalesha; Sundarayya, P.; Swamy, U. M. // Southeast Asian Bulletin of Mathematics;2014, Vol. 38 Issue 1, p141 

    In this paper, we defined Weak ideal of a C-algebra and proved certain important properties of Weak ideals. It is proved that Weak ideals of any C-algebra form an algebraic lattice whenever the C-algebra possesses smallest element with respect to the partial order induced by *.

  • Hyperidentities of De Morgan algebras. Movsisyan, Yu. M.; Aslanyan, V. A. // Logic Journal of the IGPL;Dec2012, Vol. 20 Issue 6, p1153 

    The hyperidentities of the variety of De Morgan algebras are characterized in this article. A finite base of hyperidentities for this variety is found as a consequence. In particular, we obtain that the variety of De Morgan algebras has a decidable hyperequational theory. And finally we prove...

  • KAZHDAN�LUSZTIG CELLS AND THE MURPHY BASIS. MEINOLF GECK // Proceedings of the London Mathematical Society;Nov2006, Vol. 93 Issue 3, p635 

    Let $H$ be the Iwahori�Hecke algebra associated with $S_n$, the symmetric group on $n$ symbols. This algebra has two important bases: the Kazhdan�Lusztig basis and the Murphy basis. We establish a precise connection between the two bases, allowing us to give, for the first time, purely...

  • Categorical interpretation of logical derivations and its applications in algebra. Khoury, A.; Soloviev, S.; Méhats, L.; Spivakovsky, M. // Journal of Mathematical Sciences;Jul2010, Vol. 168 Issue 3, p491 

    We consider certain applications of proof theory to the study of algebraic categories, The case usually studied in the literature is that of free categories with an additional structure. In this paper, we consider several problems in nonfree categories, such as the problem of full coherence, the...

  • Brown representability follows from Rosick�'s theorem. Neeman, Amnon // Journal of Topology;Apr2009, Vol. 2 Issue 2, p262 

    We prove that the dual of a well-generated triangulated category satisfies Brown representability, as long as there is a combinatorial model. This settles the major open problem in [12]. We also prove that Brown representability holds for non-dualized well-generated categories, but that only...

  • Kostant's Theorem for Special Filtered Algebras. Futorny, Vyacheslav; Ovsienko, Serge // Bulletin of the London Mathematical Society;Mar2005, Vol. 37 Issue 2, p187 

    A famous result of Kostant's states that the universal enveloping algebra of a semisimple complex Lie algebra is a free module over its center. An analogue of this result is proved for the class of special filtered algebras. This is then applied to show that the restricted Yangian and the...

  • $${\mathbb{Z}}$$ -Graded Weak Modules and Regularity. Dong, Chongying; Yu, Nina // Communications in Mathematical Physics;Nov2012, Vol. 316 Issue 1, p269 

    It is proved that if any $${\mathbb{Z}}$$ -graded weak module for vertex operator algebra V is completely reducible, then V is rational and C-cofinite. That is, V is regular. This gives a natural characterization of regular vertex operator algebras.


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics