[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 23 KB, 361x499, 41DzQMX-RcL._SX359_BO1,204,203,200_.jpg [View same] [iqdb] [saucenao] [google]
10215967 No.10215967 [Reply] [Original]

I know about pic related, Book of Proof and How to Prove it, but which of them is the best?

>> No.10216051

>>10215967
a linear algebra book

proof books are memes, dont waste your time

>> No.10216056

>>10216051
Why are they memes exactly?

Do you recommend Strang's "Introduction to Linear Algebra"?

>> No.10216064

>>10216056
They're not "memes" per say, but it's probably best to try a Linear Algebra book first and only go to these if you can't understand how to do anything. Strang is okay, but won't necessarily teach you how to do proofs as well as some texts will. Strang is great for learning linear algebra for the first time and just fine for learning proofs. Axler and Friedberg, while a little more advanced, are also more proof-based.

>> No.10216071

>>10215967
Polya "How to Solve it"
Jean-Yves Girard "Proof and Types

>> No.10216239

>>10215967
http://4chan-science.wikia.com/wiki/Mathematics#Proofs_and_Mathematical_Reasoning

>> No.10216248

>>10216051
>proof books are memes, dont waste your time
This.

>> No.10216366

what the hell is a proof book?
You learn everything from a logic course/book, the rest depends on context

>> No.10216408

The appendix any Real Analysis book.