- #1

- 15

- 2

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- #1

- 15

- 2

- #2

fresh_42

Mentor

- 15,099

- 12,777

I doubt that such a work exists, as there is no single mathematical logic. What usually is referred to as "mathematical logic" is the first order predicate calculus. But there are others. There are even systems with three possible values of truth. As you explicitly mentioned philosophy, the book from Charles (Karl) Popper "The Logic of Scientific Discovery" could be of interest to you. Other relevant scientists are Bertrand Russell and Kurt Gödel. Also of interest could be historical essays about the first half of the 20th century in general (foundational crises), and especially a reflection on Hilbert's program.I am specifically looking for something that's somewhat like the bible of mathematical logic

I know this might not answer your question with respect to a standard opus, but it hopefully guides you towards possible directions. The Wikipedia articles usually have lists of links, where one can start with research, e.g. on the original papers.

- #3

- 15

- 2

Thanks for your assistance either way.

- #4

- 198

- 10

Like this book ?

https://2012books.lardbucket.org/books/beginning-algebra/

https://2012books.lardbucket.org/books/beginning-algebra/

- #5

- 112

- 19

It enough to make my brain bleeds but its good. I included something of the contents.

- #6

- 198

- 10

How about this one ?

- #7

fresh_42

Mentor

- 15,099

- 12,777

Algebra on high school level.Like this book ?

Physics. Neihter logic nor foundational nor philosophy.It enough to make my brain bleeds but its good. I included something of the contents.

History of a certain aspect of physics. Not even close to what the OP described.How about this one ?

- #8

Mark44

Mentor

- 35,124

- 6,867

@awholenumber and @BL4CKB0X97, try to keep your suggestions applicable to what the OP is asking for.

- #9

- 451

- 244

Math and it's history by Stillwell

Edit: These are great foundation books but do not entirely deal with logic or fields. I misread your op. Sorry.

- #10

- 112

- 19

I believe that the work, and overview of the history (and an in depth working of said mathmatics)of pythagoreans and euclid would but rather apt to the Ops request. I thought ancient mathmatics and how it relates to and birthed modern mathmatics would also be pretty foundational. Mathmatics is covered first,then the physics comes en masse. He need not read it all.@awholenumber and @BL4CKB0X97, try to keep your suggestions applicable to what the OP is asking for.

The are pages devoted to nothing but equations and proofs along with questions to test understanding.

- #11

fresh_42

Mentor

- 15,099

- 12,777

This might be true or not, but it has definitely not the least to do withI believe that the work, and overview of the history (and an in depth working of said mathmatics)of pythagoreans and euclid would but rather apt to the Ops request. I thought ancient mathmatics and how it relates to and birthed modern mathmatics would also be pretty foundational. Mathmatics is covered first,then the physics comes en masse. He need not read it all.

The are pages devoted to nothing but equations and proofs along with questions to test understanding.

Penrose might be entertaining, but he's certainly not the first choice, when it comes to textbooks, and none if mathematical logic is the purpose.to start becoming invested in mathematical logic, the foundations of the field of mathematics, and also basically in general the philosophical heart

And by the way: "field" in this context does not refer to the algebraic object called field, as

would suggest.books but do not entirely deal with logic or fields

- #12

- 15

- 2

- #13

- 362

- 96

http://www.mcmp.philosophie.uni-muenchen.de/students/math/index.html

http://openlogicproject.org/download/ - openlogic project

http://www.logicmatters.net/tyl/booknotes/

other link could help:

http://settheory.net/world

- #14

- 15

- 2

- #15

fresh_42

Mentor

- 15,099

- 12,777

Not really easy to add something upon these. What you're looking for that Grothendiek and Dieudonné haven't addressed? I know of some interesting papers by V. Strassen (Rank and optimal computation of generic tensors, 1982) and others, e.g. on lower bounds of matrix multiplication which uses methods of algebraic geometry (http://www.math.tamu.edu/~jml/LOsecbnd05-28.pdf), and an interesting essay (free download, https://arxiv.org/pdf/1205.5935.pdf, 92 p.) about geometric algebra (which of course is different from algebraic geometry).I have EGA and SGA set to be completely read

@mathwonk once recommended some:

and @laviniaMiles Reid's Undergraduate algebraic geometry is a good book, but will not give you this categorical notion of affine products in relation to tensor products. but the first 15 pages of the second link I gave above will, the notes from Charles Siegel at UPenn, based on the terse little book Algebraic varieties, by George Kempf.

https://www.amazon.com/Algebraic-Varieties-Mathematical-Society-Lecture/dp/0521426138/ref=sr_1_1?s=books&ie=UTF8&qid=1449594305&sr=1-1&keywords=george+kempf,+algebraic+varieties

I first learned it from Mumford's "red book" of algebraic varieties.

https://www.amazon.com/Red-Book-Varieties-Schemes-Mathematics/dp/354063293X/ref=sr_1_1?s=books&ie=UTF8&qid=1449594259&sr=1-1&keywords=mumford's+red+book

heres a cheaper used copy, but maybe without the nice little addition of his lectures on curves from Michigan:

http://www.abebooks.com/servlet/SearchResults?an=david+mumford&sts=t&tn=red+book

Steenrod's book,The Topology of Fiber Bundles,if you haven't looked at it already, is one of the first that specifically focuses on fiber bundles. I find it difficult going but it covers other examples of bundles than vector bundles e.g. sphere bundles,covering spaces, and principal bundles. These are just as important as vector bundles. Milnor's book is advanced and his chapter on what vector bundles are ,while rigorous ,is also quite dense. Bott and Tu'sDifferential Forms in Algebraic Topologydeals with bundles from the differentiable view point. This book is also advanced but gives a wonderful introduction to the use of calculus in algebraic topology. The book I started with is Singer and Thorpe's Book,lecture Notes on Elementary Topology and Geometry- also in PDF form. It deals with bundles in a way more elementary way but still has the modern viewpoint.

Maybe not exactly what you've been looking for, but judging by whom they have been recommended, worth to keep in mind in any case.

- #16

- 15

- 2

Well do you anything close to something that's like the English translations of EGA and SGA?Not really easy to add something upon these. What you're looking for that Grothendiek and Dieudonné haven't addressed? I know of some interesting papers by V. Strassen (Rank and optimal computation of generic tensors, 1982) and others, e.g. on lower bounds of matrix multiplication which uses methods of algebraic geometry (http://www.math.tamu.edu/~jml/LOsecbnd05-28.pdf), and an interesting essay (free download, https://arxiv.org/pdf/1205.5935.pdf, 92 p.) about geometric algebra (which of course is different from algebraic geometry).

@mathwonk once recommended some:

and @lavinia

Maybe not exactly what you've been looking for, but judging by whom they have been recommended, worth to keep in mind in any case.

- #17

fresh_42

Mentor

- 15,099

- 12,777

Sorry, no. I assume the Bourbaki approach isn't really a bestseller. I'v seen some interesting books on the internet about the historical developments like the correspondence between Grothendiek and Serre, but no conceptional treatment. Leo Corry seems to have written a nice overview of the modern mathematical structural concepts, but this also looks more like a historical treatment:Well do you anything close to something that's like the English translations of EGA and SGA?

https://books.google.de/books?id=8G0FCAAAQBAJ&dq=Bourbaki+algebraic+geometry

- #18

- 15

- 2

Does this go over similar topics as EGA/SGA?

- #19

fresh_42

Mentor

- 15,099

- 12,777

I don't know. I only know about EGA/SGA what is written on Wiki. My assessment is based on what I know about the authors (and an old French version of a Bourbaki text about algebraic geometry I found and had a look into). But I don't think that the historical treatments I mentioned above can be compared to it. I only added them as being interesting on their own. To be honest, I cannot really imagine that a book written Bourbakian style would find many readers on the Anglo-American market. As far as I know, it is a fundamentally different tradition. And the books I have are again in another "wrong" language.Does this go over similar topics as EGA/SGA?

- #20

- 1,159

- 327

For the philosophical part, maybe reading the book by Morris Kline: Mathematics in Western Culture? I have not looked at it.

Share: