Intro to Logic: Answers to Your Questions

  • Thread starter Thread starter mahmoud2011
  • Start date Start date
  • Tags Tags
    Intro Logic
AI Thread Summary
For those seeking an introduction to logic and proof techniques, the discussion highlights the importance of focusing on understanding proofs rather than just formal or mathematical logic. A recommended resource is the online text "forall x," which provides a solid foundation in logic. Additionally, "The Art of Proof - Basic Training for Deeper Mathematics" by Beck and Geoghegan is suggested as a more suitable option for addressing questions related to proofs and deeper mathematical concepts.
mahmoud2011
Messages
88
Reaction score
0
Physics news on Phys.org
please , I want your help
 
I looked at the other thread and it seems to me that you are likely needing to understand more about how to do proofs versus calculating rather than a book on formal / mathematical logic. The thread that you referenced points off to the "forall x" online text which is really a nice text on logic so that should tell you whether that's what you're looking for. On the other hand, I think that Beck and Geoghegan's "The Art of Proof - Basic Training for Deeper Mathematics" may be more in line with the kind of question that you were asking in the other thread.
 

Thread '"WHAT IS A QUANTUM FIELD THEORY?" A First Introduction for Mathematicians'

The book is fascinating. If your education includes a typical math degree curriculum, with Lebesgue integration, functional analysis, etc, it teaches QFT with only a passing acquaintance of ordinary QM you would get at HS. However, I would read Lenny Susskind's book on QM first. Purchased a copy straight away, but it will not arrive until the end of December; however, Scribd has a PDF I am now studying. The first part introduces distribution theory (and other related concepts), which...
View full post »

Thread 'Books with a more theoretical approach to turbulence and DNS'

I've gone through the Standard turbulence textbooks such as Pope's Turbulent Flows and Wilcox' Turbulent modelling for CFD which mostly Covers RANS and the closure models. I want to jump more into DNS but most of the work i've been able to come across is too "practical" and not much explanation of the theory behind it. I wonder if there is a book that takes a theoretical approach to Turbulence starting from the full Navier Stokes Equations and developing from there, instead of jumping from...
View full post »

Similar threads

Book recommendations (abstract algebra and number theory)
Replies
5
Views
3K
Other Intro Logic Books (differences between Peter Smith, J.J. Smith and P.Teller)
Replies
1
Views
2K
Other Advice on books for logic puzzle questions for software engineers
Replies
5
Views
2K
Is Yuri Manin's A Course in Mathematical Logic generally unsound?
Replies
13
Views
2K
Quantum Quantum Probability ― Quantum Logic
Replies
4
Views
3K
Good books to learn electronic devices and circuits AND digital electronics
Replies
2
Views
6K
Introductory Analysis -- Self Studying
Replies
20
Views
3K
Quantum Advanced-undegrad/junior post-grad books on QM mathematics
Replies
3
Views
2K
Intro Math Suggestions for an Intro to Proofs Math textbook for Self Study
Replies
8
Views
3K
What is the best way to learn logic of computer language?
Replies
15
Views
3K

Hot Threads

Recent Insights

Back
Top