A Thought Is A Thing

"Your body is the instrument upon which your soul is played. Provided, your instrument is in tune and your music well-composed, then your concert hall will always be filled" David R Andrews(2012)

Saturday, May 30, 2015

28-gon


Posted by David Andrews at 7:23 PM No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest

Thursday, May 28, 2015

Euclid's Arena


Posted by David Andrews at 8:17 PM No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest

Wednesday, May 27, 2015

Updates

Over the next Week I will be adding new pages and new information to my list of pages located just below the Home tab at the top right of the screen.
Posted by David Andrews at 5:40 PM No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest

Monday, May 25, 2015

Thought Echoes


Posted by David Andrews at 1:44 AM No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest

Sunday, May 17, 2015

30-gon


Posted by David Andrews at 11:27 PM No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest

Friday, May 15, 2015

16 - gon



Posted by David Andrews at 10:05 PM No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest

Thursday, May 14, 2015

24 i-gon




Posted by David Andrews at 1:17 AM No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Newer Posts Older Posts Home
Subscribe to: Posts (Atom)

Followers

  • Home
  • Symbols
  • Symfluence (Definitions)
  • Propositional Calculus Axioms
  • Axioms of Set Theory
  • Propositional Calculus Definitions
  • Tautologies
  • Abbreviations
  • Sources/References

About Me

David Andrews
View my complete profile

Popular Posts

  • Propositional Calculus Proofs (11)
    Th38.) Th39 .)  ⊢ [P  ∧ (Q  ∧ R)]  ⇒ [(P  ∧ Q)  ∧ R]   Associativity of  ∧ 1.)  ⊢  [R  ⇒ (P   ⇒  ¬Q )]  ⇒  [P  ⇒ (R   ⇒  ¬Q )]           ...
  • Investigation of Formulae in Predicate Calculus (3)
    (nested quantifiers) ∀x[ ∀y( )]      ∀y[ ∀x( )]      ∀x[ ∃ y( )]     ∀y[ ∃x ( )]      ∃ x[ ∀ y( )]       ∃y [ ∀ x( )]     ∃ x[ ∃ y( )]   ...
  • Predicate Calculus (0)
    The symbol ' ∈' is a predicate according to set theory. It reads "is a member of" or "is an element of". A seque...
  • Propositional Calculus Proofs (9)
    Th31 )  ⊢ (H  ⇒ K)  ⇒ {(H  ⇒ L)  ⇒ [H  ⇒   (K  ∧ L)]} 1.)  ⊢ {H  ⇒ [K  ⇒ (L  ⇒  (K  ∧ L) )]}  ⇒ { (H  ⇒ K )  ⇒  [H  ⇒  (L  ⇒  (K  ∧ L) )]...

Blog Archive

  • ►  2024 (2)
    • ►  August (1)
    • ►  April (1)
  • ►  2019 (3)
    • ►  September (1)
    • ►  August (2)
  • ►  2018 (2)
    • ►  August (1)
    • ►  April (1)
  • ►  2017 (6)
    • ►  November (1)
    • ►  October (1)
    • ►  April (3)
    • ►  January (1)
  • ►  2016 (39)
    • ►  December (2)
    • ►  June (2)
    • ►  May (13)
    • ►  April (7)
    • ►  March (13)
    • ►  February (2)
  • ▼  2015 (57)
    • ►  October (9)
    • ►  September (16)
    • ►  August (14)
    • ►  June (3)
    • ▼  May (7)
      • 28-gon
      • Euclid's Arena
      • Updates
      • Thought Echoes
      • 30-gon
      • 16 - gon
      • 24 i-gon
    • ►  April (1)
    • ►  March (1)
    • ►  February (3)
    • ►  January (3)
  • ►  2014 (12)
    • ►  December (3)
    • ►  November (9)
Simple theme. Theme images by enot-poloskun. Powered by Blogger.