book-recommendations

[hybrid sigil]

Ah, you probably mean this parallelogram rule, and geometric interpretation

[dim delta]

Stewart calc book has some exercises on that. Also shifrin multivariable mathematics has some really challenging problems

[cunning elk]

that's far too small a topic to dedicate an entire book to

that's like one small textbook section at most

[molten gulch]

just add them componentwise, that's literally it

any linear algebra book should cover vector addition in n dimensioons

[fair fiber]

bro posting webtoon

if we discussing manhwa then we have to talk about the goat manhwa

myst might mayhem

[remote sparrow]

this is literally on webtoon?

[remote sparrow]

what happened to descended from divinity?

[fair fiber]

it's good

but not goat

i never said it's goat

[odd cargo]

not even close

[fair fiber]

what's better then ?

let's hear it cog

[odd cargo]

same genre or separate?

[fair fiber]

both

aight i'll tryr it

[odd cargo]

dont read the new ones

2007-2011 is the one you should be reading.

[fair fiber]

if it's not good, you have to take responsibility

[odd cargo]

you want me to be honest with you?

[fair fiber]

i don't actually

[odd cargo]

if that manhwa you mentioned is your idea of a "goat manhwa", then your opinion doesnt really matter.

[fair fiber]

it seems you have not come to the real world

since in the real world

no ones opinion matters

[odd cargo]

https://tenor.com/view/baby-laugh-ai-baby-babyfryingme-baby-sob-folk-gif-18221933230434867320

[fair fiber]

it seems you are still stuck in the wheel

[odd cargo]

go read your ai generated cultivation slop

[fair fiber]

is it even ai generated ?

I don't think any major manhwa so far is ai generated

maybe 2-3 years from now

[wet sentinel]

@fair fiber btw i forgot to tell you, i have watched 91 days and its actually a nice anime

thanks for the good recommendation

[fair fiber]

let's goo

bro listened

[wet sentinel]

i might've asked you this question before but i forgot so i will ask it, have you watched steins gate?

[fair fiber]

no

i've been planning to

[wet sentinel]

you should

[fair fiber]

but i never did

[wet sentinel]

a goated anime

[fair fiber]

aight

officially since you said so

i will start

tomorrow

first episode

[wet sentinel]

[fair fiber]

if it's not good you have to teach me topology for 1 hour

[wet sentinel]

side note: its ok if you dont understand episode 1 because things will become clear later on

[fair fiber]

Sounds good. If you like 91 days, code geass is very similar

[wet sentinel]

yea i have watched code geass, its up there with other great anime

[hollow latch]

Hi y’all can call me nova! I wanna prepare for the regents

[fair fiber]

you can try one outs

[wet sentinel]

also watched it

these days i cant find a good anime anymore since i have watched all of the good ones

[fair fiber]

have you watched vinland saga ?

[wet sentinel]

ohhh wait there is monster, i keep forgetting that i should watch that

[wet sentinel]

i tried a few episodes, didnt like it much for some reason

[fair fiber]

i have a good rec but it's off genre

[wet sentinel]

go for it

[odd cargo]

good luck

[fair fiber]

tsurune

[wet sentinel]

i will check it out

tho i will probably watch monster first

[fair fiber]

you have a MAL ?

[wet sentinel]

i watched like 34 episodes or something but then i stopped because i watching it with my brothers and they stopped, so now i have to rewatch since i have forgotten many things. The problem is that monster is slow

[wet sentinel]

whats that

[fair fiber]

it's like a list of animes you've watched

https://myanimelist.net/animelist/mq123?status=7&order=4&order2=0 this is mine

[wet sentinel]

ah no

[fair fiber]

if you look at this, most comments i've made on here are when i was 13 so don't mind the cringe

[wet sentinel]

tho ofc i can recall the good ones that i have watched any time, at least most of them

[fair fiber]

so this is how smart you have to be to get through rudin

[willow vortex]

Hey is Statistics by David Freedman a good book or are there better books?

[high thistle]

The little house books by Laura Ingalls Wilder. Or good arguments by Bo Seo.

[narrow wharf]

Webnovel: Re:Zero by Tapei Nagatsuki

[boreal hollow]

Im still in highschool and all I only know like 2 concepts in game theory (Prisoners dilemma and Monty Hall Problem).

I want to learn more about game theory in general. Any good start off books?

[hazy glacier]

I am struggling

With calc 3 and Lin algebra

I don’t understand my proffessord

Is there

A good online videos

[hybrid sigil]

Quite a nice book, concise and to the point. I’ve just read the preface and chapter 1. I appreciated his use of commutative diagrams :) Also found this bit funny:

[vital bane]

My Algebraic List

it's a list of all algebraic analysis books you've read

[remote sparrow]

https://link.springer.com/book/10.1007/978-1-4612-0863-1

https://link.springer.com/book/10.1007/978-1-4612-0691-0

[hybrid sigil]

This book is used to teach courses in universities though (for undergraduates and even graduates). I don’t think you can go wrong with the incremental approach, i.e. first completing this book and your compiler, and then diving into other more detailed books in areas that interested you the most (I was a fan of parsing for some reason)

This book is not boring, which is a big plus :)

[hybrid sigil]

from the preface of "Computability":

I believe, against the trend towards weighty, all-embracing treatises (vide the typical modern calculus text), that many mathematicians would like to be able to purchase books that give them insight into unfamiliar branches of the subject in a relatively short compass and without requiring a major investment of time, effort, or money.

seems like exactly what yj is after :)

Did you like Artin's "Galois Theory", btw?

That's Emil Artin, by the way, the famous algebraist (he is the father of Michael Artin, who wrote "Algebra" book, that is often recommended here)

I've bought a similar size book by Rotman on Galois Theory, hopefully it's short and sweet too (haven't read it yet)

ah, no, it's 150 pages, much longer than 82

no, I mean, my Rotman's book on Galois theory is 150 pages vs Artin's 82

do you have the Dover copy?

ha, Amazon just suggested me this, apparently Emil Artin did more expository math works:

The reader will first find three of Artin's short books, titled The Gamma Function, Galois Theory, and Theory of Algebraic Numbers, respectively. These are followed by papers on algebra, algebraic number theory, real fields, braid groups, and complex and functional analysis

You probably heard about it, but if you just like to sample various areas of mathematics in short articles, there is Princeton's Companion to Mathematics edited by Tim Gowers

it's great

Also there are collections of expository articles from mathematical journals, say from "Mathematical Intelligencer" journal published by Springer

that's one book with such a collection: https://www.amazon.co.uk/Mathematical-Conversations-Robin-Wilson/dp/1461265568

there is also this question on Math Overflow, someone organised a course "Reading Scholarly Math" and wanted to have a sample of interesting real mathematical papers readable for undergrads. And people give their suggestions in there:

https://mathoverflow.net/questions/295696/short-papers-for-undergraduate-course-on-reading-scholarly-math?rq=1

[wet sentinel]

Analytic algebra when

[vital bane]

Reallll

Solving problems in algebra using analytic techniques when

[remote sparrow]

fundamental theorem of algebra

[tender cobalt]

isnt complex analysis and geometry based of that mostly

using analytic techniques to solve algebraic problems

[remote sparrow]

https://www.rxddit.com/r/math/comments/1qog389/what_are_some_of_the_best_books_for_analysis/

[boreal hollow]

Intro books for game theory?

[mortal iris]

Pick up any trigonometry text.

Only someone who doesn't even know math aside from mindless calculations would say so.

That's just notation. There's no properties in the notation really. It's just a nice way of writing down stuff. What do you actually wanna learn?

More importantly what's your present physics and math background? It might be a bit much to understand with a high school exposure alone and without any linear algebra.

[hybrid sigil]

maybe ask here, in the dedicated Game Theory channel, since no one seems to know in book recommendations :) https://discord.com/channels/268882317391429632/1364706668960546906

[molten gulch]

conway's on numbers and games or winning ways for your mathematical plays are nice for combi game theory, for game theory as used in economics I think Maschler, Solan, and Zamir - Game Theory is standard

[boreal hollow]

tyy

[analog fern]

Hi, completely unrelated to what you wrote, but I wanted to ask you if you know some good source on Quatum cohomology?

[mortal iris]

Not really an area I'm super familiar with, sorry. Couldn't tell you even if I searched since I wouldn't be able to tell whether it's good or not.

There's an AMS book on Quantum Groups and Quantum Cohomology by Maulik and Okounkov. Not sure if the ArXiV upload is the same. Ik that they did a lecture series on this a while back is all. Not sure if it's good or not.

[odd cargo]

https://tenor.com/view/ishowspeed-yapping-i-stand-at-the-end-of-my-days-i-have-sinned-at-the-end-of-my-days-speed-talking-gif-17714085846938483931

[proud cloud]

does anyone knows some books for start reading philosophy?

[analog fern]

dw, I was just asking if you know some. Thank you very much anyways!

[mortal iris]

I always recommend the History of Philosophy Without any Gaps series for an introduction.

You can then pick and choose what areas interest you and read along those lines.

[odd cargo]

The Zhuangzi

[torn blade]

i remember mathcord had a website with book recommendations what was it again

[wet sentinel]

you can play games and then you will automatically learn game theory while having fun

[odd cargo]

i've watched you laugh at your own dry jokes atleast 6 times now.

[golden cedar]

Crazy

[wet sentinel]

i mean if you go check the right channels at the right time you will see alot of self reactions lol (and from many people)

[hybrid sigil]

Ali’s jokes are not bad!)

[remote vortex]

I mean, how else would people know those were supposed to be funny?

[remote vortex]

Yeah, and it's bleak as hell

[wet sentinel]

ohh thanks!

[mortal iris]

Dry ain't bad. But wet is definitely good

[wet sentinel]

[remote vortex]

So many comedians are praised for the quality of their wet humour

[lost glacier]

Want some advice on good books to learn more the fundementals behind something, basically in my pre-calculus course (which I just finished with mid 70s) I would do very well on quizzes (high 80s to low 90s) becasue it was process oriented but tests would have harder and more logical driven questions (like a question which would be one level higher than what we'd see on the textbook, and we'd really need to understand the topic to answer it I guess you could say)

I'm starting calculus from tuesday, and I wanted a good book to follow for logic oriented stuff.

Would A First Course on Calculus by Lang be a good choice?

I don't need a book with a bunch of practice problems because the textbook we use in class has quite a bit, just something to read to understand more deeply and to practice a few questions from to strengthen my understanding

[odd cargo]

Algebra, Israel Gelfand.

[lost glacier]

Oh let me rephrase, I meant to understand fundamentals behind calculus and the topics we'll learn in class.

I was also thinking about learning the fundamentals behind algebra (cause my weakness in math prob is from 7th-10th grade) and I think I heard of that book and Basics of Mathematics by Lang, for algebra which would you recommend?

[odd cargo]

generally, the more resources you have, the better.

[lost glacier]

If only I had more time lol, but I'll have a lot of time in summer so yeah

[odd cargo]

If you've taken pre-calc then you're probably done with the "fundamentals behind calculus" part

trigonometry

is really important

[lost glacier]

Just to let you know I'm taking a gap year to brush up on all my math fundementals, learn some more calculus (I and II) and some linear algebra/probability/statistics if I'm able to, so like if you think that's a good book I'll prob be able to read it after this semster for calculus is over

[heady ember]

undsrtand the fundamentals behind calculus
Sounds like you would be interested in Analysis; try Abbott's text.

[lost glacier]

I'll search that up rn

I love springer books lol

[odd cargo]

brother, he had just finished up pre-calc.

and has weak fundamentals

why the fuck would he every touch analysis

[tame tree]

the book doesnt really assume much background

abbott's book kinda is "the fundamentals"

if you're interested in learning why calculus works

[heady ember]

Yeah, and even if he doesn't want to actually work through the whole text, he could just have cursory reading.

[lost glacier]

Okay the 6 chapters seem to be pretty good and simillar to what I'll be doing I guess (idk what topology is though), I mean I think the max we go in class will be to taylor series and all that so nothing crazy

[odd cargo]

@lost glacier if you wanna waste your time, go ahead and do what these people tell you to do.

[lost glacier]

Idk tbh I just need a great time efficient way, I have a lot of stuff I have to do and I just need to basically maximize my mark while not going too deep, in summer time or later I may have some time to go deeper but not these next 5 months

[tame tree]

there's no need for such an insulting tone

abbott is an extremely friendly book

[analog fern]

There's the book by Bartle introduction to real analysis.

[analog fern]

It is a great book for begginners, what are you talking about?

[lost glacier]

Wdym by like the fundfementals thoguh, like idk what the right word is, but let's say I'm doing

x^3 = 3logx

I need to understand the logic behind it so if I ever get a question like

x^(3x-2) = y^(4x+1)

I have a deep enough understanding to do it.

Or it's like learning about vertical and horizontal asymptotes and rational equations, but now on a test getting an oblique asymtpotes

[tame tree]

logs wont even show up until much later in the book

[lost glacier]

I see

[odd cargo]

im confused

[tame tree]

the natural logarithm is something you usually want a bit of analysis to define in the first place

idk, the point is that you can learn analysis from the outset or take some time and do "calculus" with a book like stewart's

[lost glacier]

I like learning the fundementals behind something, but for the sake of just getting more marks, would it help me tackle harder test questions and all that, or would other books serve that purpose better

Cause the current books I had on my list was:

Basics of Mathematics by Lang (Algebra fundementals after this semester)
A First Course to Calculus by Lang (Calculus I guess "fundementals" but it's not analysis I guess more like "deeper" into each topic and better calrification of stuff to really understand what you're learning)

Now If I'm correct you guys are saying a great choice would be Understanding Analysis by Abbot, for understanding fundementals. Which I think I'd enjoy but like my classes aren't very theory, is this more focused on the theory and real underlying ideas behind each of these things like what log really is and all that.

Or is it more focused on like how the derivative function would work and a more in-depth look at it (just not like hella deep ifykwim) to just give you a better understanding

[mortal iris]

Stop collecting. Start doing.

[tame tree]

tbh, a lot of the computational stuff can be learned in like one month

[lost glacier]

Like is the book you guys said by Abbot focusing on why Calculus works and proving it. Or more like deeper intuition and understanding of calculus concepts, cause idk I don't think I worded the right word with saying fundementals.

Cause I won't have much time to study everyday and I want to have a book on the side so I can review the way it teaches and everything after each lesson we have, not to understand like the fundementals and proofs behind it if you know what I mean. Not that I would not want to do that, just moreso that I don't have the time unfortunately for the next few months

[lost glacier]

True

The worst thing is to constantly think about which book is best

The Math Sorcerer said it best, just do 10 calculus questions a day, and by the end of the month you'll have a new habit and many problems practiced

something like that

[mortal iris]

Also it's Basic Mathematics by Lang. You don't wanna start anything in Calc before you do that. And you are missing a book on Proofs, like Cummings. Start with these.

Once you done, ask for more.

[mortal iris]

Never listen to lazy AI slop creators online with generic content.

[lost glacier]

My calculus class starts in 5 days though, wouldn't it be better to get a calculus centric book to try and increase my marks with that? I want to read Basic Mathematics first but Idk I'm debating putting that after I finish the calculus course at school (I have other stuff outside of school so can't invest more than like 2-3 hours a day which homework takes a bit more than half of that)

I guess I may be overthinking this..

[analog fern]

Just pick a book and read it. Solve everything you can and then pick the next book

[lost glacier]

Like let me explain, I did pre-calc and I understood almost everything (Trig, logs, inequalities, etc...) just didn't do well on units for rational functions, vertical/horizontal asymptotoes, other than that thoguh I've understood everything. I'm starting calculus in a few days and I just need the best book to ensure I do well.

Afterwards I can go back and refine my fundementals but basically for RN what would be the best book if I'm in a time limit

[lost glacier]

Okay fair

O

I'll do that

I'll get the book today

[analog fern]

If you don't get sometimes you can pick a suplementary book, but don't waste time on picking the best book out there

[lost glacier]

Really appreciate the help guys, and yeah I shouldn't be debating a bunch of differnet books tbh just should go for a good one and just learn

[analog fern]

Book are written by people, like you and me. they probably only differ by a matter of taste.

[tame tree]

starting proof based mathematics is a bit hard, but if you stick around the payoff is big

[lost glacier]

Long-term I'm thinking of doing like an applied statistics degree in Uni if I have the oppurtunity

So I'm guessing calc, linear algebra, all these require good fundementals

[analog fern]

I wouldn't even recommend reading a book about proof like even just going straight to see some proof in the wild is best for me.

[lost glacier]

My favorite subjects have been trig and logs tbh, and also I've nejoyed inequalities and combining functions

Thanks guys

I'll make sure to just start then

I'll try to order the book today and get it and just start doing some problems

[tame tree]

no need to actually buy anything

winky face is all ill say about it

[analog fern]

Yep

[lost glacier]

I found some good used books though

I like online books but for math idk...

[analog fern]

There's even copies online of a lot of those books we mention. Bartle is one of them

[lost glacier]

Never bought a math book tbh LOL so yeah this is the first time i do it out of my own will

But damn those springer books look nice

I got some other one for more math/economics type book and I love the cover

For expensive books though there's always good alternatives like you've said

[gray gazelle]

Game theory book?

I heard game theory also use topology

[lost glacier]

I'm read some stuff and idk it's kinda hard to follow for me personally idk why

[gray gazelle]

Is there a book that

Connect them

[lost glacier]

Mabe the language is too straightforward and formal but I guess that's just a me problem

[gray gazelle]

Thank you

Any resources you would recommend

[ocean nebula]

I'm a math student taking a discrete math class desgined for compsci students; whats a good textbook to fill in the gaps that a math student would be missing

we're using discrete mathematics and its applications by kenneth rosen

[mortal iris]

Not much of a difference really. It's usually one of the core first year courses besides Theory of Computation and Analysis of Algorithms. I doubt you'll see too much in discrete math from an application pov that math doesn't prepare you for.

[molten gulch]

this text should be fine, each topic in discrete maths can get its own book(s)

[heady ember]

Almost every digital resource can be free: just sail the seven seas.

[dull trail]

I found this resource really helpful for actually understanding math, and learning about meaningful applications in the real world.

It’s called The Actually Helpful Math Textbook. Definitely lives up to its name.

The explanations and proofs were really smoothly written, and the tone was friendly and made studying more enjoyable.

https://accmath.web.app

Best viewed on desktop instead of mobile btw

[zealous jewel]

I'm coming into the conversation late, but have you already read a book like How to Prove It by Velleman?

[lost glacier]

Nah, but that's one of the books on my list tbh.

After this semester ends, I'll try to spend the summer and I'm taking a gap year (break between uni and highschool) and will spend time reading such books

My end goal is to hopefully be able to do a applied statistics degree, so I guess I'll have to know linear algebra, and calculus to read stuff on probability/statistics

[lost glacier]

Thanks!

I'll check this it seems pretty good

[dull trail]

You’re welcome!

[zealous jewel]

most people will go through some calculation type courses where they use textbooks like Calculus by Stewart then Linear Algebra and Its Applications by Lay. Then they move on to proof-based calculus aka real analysis, but before that they take some proofs class just to get the general idea of proofs, symbols, language, and how to write them.

So after your classes, read something like How to Prove It by Velleman and then get into proof textbooks.

[lost glacier]

I see, yeah I gotta do proofs then.

Thing is that I'm not going to a STEM heavy univeristy, more businses (trying to do a double degree with business) so that's why I think the only classes necessary are just:

Applied Math, Calculus, Statistical SCience, Linear algebra (I think), and I think one or two more stuff

[zealous jewel]

correct yeah this looks like you're a physics major (assuming calc 1-3 and diff eq).

[lost glacier]

I'll make sure to try to do that then, really I'd do all of this if I could at by the end of my new school semester I'm just trying to learn coding and got other stuff outside of school so it's tough 😭

[lost glacier]

Nah just Applied Statistics G, only Calc I and II

I'm still in highschool by the way if there's any misunderstanding, I'm trying to go into that degree thoguh and my math skills are kind weak, thus why I'm studying and getting these books

How to PRove it though I've heard really helps with intuition and the logic behind math

So I think that would be 100% a must read for me

[zealous jewel]

Oh. In that case you should get either Introduction to Logic by Copi or A Concise Introduction to Logic by Hurley. Then a proofs book if you really want to, but either of those logic books will change the way you think, for the better.

[lost glacier]

Yeah I've only studied little into philosphy and haven't delved much into the logic at all so prob a good choice

Thanks for the reccomendations man!

[zealous jewel]

Reading one of those books before you read like Aristotle, Marcus Aurelius, etc is actually what I recommend to people.

[lost glacier]

100% I think logic is really necessary to understand the foundations of a lot of concepts within metaphysics and all that

and all parts of philospohy

Even science has a logical framework at the end of the day (going too off topic thoguh so I'll leave it at that)

[ocean nebula]

My friend Anna really helps me

[lost glacier]

LOL

[heady ember]

Oh, a mutual, eh?

[lost glacier]

I can see what you guys are talking about now

[zealous jewel]

best of luck. If you read Copi or Hurley, let me know how it goes! Or if you have any questions.

[lost glacier]

I will, may be a while from now though but I'll write it down so I don't forgot these recommendations, thanks man!

[dull trail]

Sorry to interrupt the convo but forgot to post the trailer (if discord allows YouTube videos)

https://youtu.be/VxlpS25UqsQ?si=rmUS9zDpvNX61JMw

[lost glacier]

Okay so I just went through their cubic functions or something, was pretty good not gonna lie, it goes a bit more in-depth compared to my teachers and textbook tbh.

Idk if it's some other part but I wish there was some practice questions, overall seems like a good way to review/learn some deeper stuff if the teacher didn't go over it.

[dull trail]

Yeah I thought the same, but definitely a way better use of my time than doing the same old questions with different numbers. Plus it’s free after all.

The author also acknowledges that it focuses on understanding instead of practice questions on the website, but I guess it’s good that it focuses on things that other textbooks don’t focus on, instead of doing the same things

[lost glacier]

Exactly yeah, I'll try to search for some more topics within it on whatever stuff I feel I don't grasp well for pre-calc

Great textbook tbh for understanding atleast imo

[mellow rivet]

<@&268886789983436800>

I wonder why it's almost always this channel tho

[hollow epoch]

What do you all think of “How to prove it”?

[remote knoll]

There are exactly five channels that are visible by default on this server. This is one of them, and it's the slowest moving one. So it's probably a combination of the two.

[mellow rivet]

Oooo

[molten gulch]

it's good

[coral bison]

I am also considering this book as well

I should just buy it at this point

[muted magnet]

Full cicada moon i have adhd only book ive ever read without getting bored

[remote sparrow]

how about you try before you buy as well?

[static linden]

Does anyone have any good books with questions on complex numbers, or just like questions on complex numbers which I can use to study for a test, thanks

[tender cobalt]

What's your opinion on Lax linear algebra guys?

[remote sparrow]

not sure about goated but it's an interesting read

[pearl palm]

A masterpiece

[small flicker]

exactly i prefer more of any kim Carnby works

[median depot]

group theory book reccs with a good source of problems?

[daring wolf]

grab any abstract algebra books

one rec:

[remote sparrow]

shahriar shahriari

[mortal iris]

Herstein's Topics in Algebra

[slow roost]

yes

[patent axle]

101 Algebra Problems

[median depot]

this is an olympiad book

[patent axle]

???

[normal crystal]

it's also piracy, you need to delete it

<@&268886789983436800>
le sigh

[ember karma]

Yeah, we can't have piracy inside this server, Discord ToS, partnered server and all

[patent axle]

😭

[median depot]

why does bro have ioqm 2026 in his username

[patent axle]

cuz im givin it

[median depot]

bro made ioqm his entire personality gg

yo @steel torrent

[steel torrent]

Whar

[median depot]

olympiad child spotted

[steel torrent]

Yo lessgo

[median depot]

ioqm is the first computational stage

[steel torrent]

Ik

[median depot]

its like harder than amc 10 and marginally easier than amc 12

[wild blaze]

recommendations for understanding theory of ML? or just any theory for AI and how it works fundamentally

i dont plan on being a programer, its just for curiosity but im interested in neuroscience so i want to deep dive into it

[mortal iris]

Do you want a mathematical book or just an intro?

[wild blaze]

what is the intro vs mathematical book

is all foundations of ML just math

i heard it has smth to do with vector spaces but i didnt know if textbooks went over theory in words or in math

[mortal iris]

Yes

[wild blaze]

okay interesting

what math does it use

[mortal iris]

Much more than that

[mortal iris]

Multilinear Algebra, Optimization, Graph Theory, Probability and Statistics.

[wild blaze]

does it teach u the math or assume you know it

[mortal iris]

It depends on what kind of source you're using for it. If you learning the basics it teaches you most of it although Linear Algebra and Calculus are typically assumed even if at times reviewed.

[wild blaze]

ive never touched optimization or prob stats

multilinear algebra either tbh

ive taken math courses tho

[mortal iris]

A good starting point would be to check out 3B1B's course on Neural Networks. You'll get a rough idea of what you're dealing with.

It's a nice introduction.

[wild blaze]

okay awesome

for learning the math ppl use mathematics for ml right

would u say applied math is much easier to read through than pure?

[mortal iris]

Usually yes. If you wanna just see how things work without caring much about extreme caveats.

[wild blaze]

okay last question, are the stats curriculum in smth like mit open course ware redundant or do you think the textbooks are good

ive never touched any applications of math

except like calc1-3 diffeq since its required

so i’m interested

[mortal iris]

I have no idea. I've never seen it. A good place to study probability and stats would be Blitzstein's intro to probability followed by Wasserman's all of statistics. They're both of a more applied flavour.

Both books are open access online

[wild blaze]

is there a higher entry point for those who have studied smth like measure theory

[mortal iris]

Wasserman will give you a prelude to ML

[wild blaze]

okay

ill look at it

thank you

[mortal iris]

Well there is but those things tend to deal with ML on a much more proofy level

If you wanna look at applications, idk how much they tend to focus on it.

[wild blaze]

i see

thank you

[mortal iris]

I'm no expert tho. I've never looked at this area rigorously aside from probability theory by itself a little. So someone else might have a better idea.

I've only ever learned ML via programming and writing up and testing algorithms.

And I usually don't need to do proofs for those besides simple calculations of complexities, errors and relevant bounds.

[keen quarry]

Lycan Philosophy of language and Graham priests introduction to logic

[hasty sluice]

Are there linear algebra books that take a genetic approach?

[short fable]

no lmfao

[mortal iris]

Huh

[safe wyvern]

Nope.

[polar goblet]

What would be a good book to learn matroids

[molten gulch]

@mighty tartan

pinging bc they're the only person I know who's done anything in matroids

[mighty tartan]

there are effectively 2 books youd want to use as a textbook on matroids

1. Welsh
2. Oxley

Oxley is newer and has more stuff in it. Welsh is older and was actually a "mentor" to Oxley himself. I personally use Oxley. The most important difference of course is the start. Matroids are notorious for how many angles you can attack them from. Welsh first does circuits and bases, oxley starts with independent sets. Of course both quickly converge, but thats just something to look out for. I havent read too much welsh, so take this with a grain of salt, but i would recommend Oxley

both books are simply called Matroid Theory

https://academic.oup.com/book/34846

[polar goblet]

Are there anything’s I should know before I go into them?

[mighty tartan]

you will want to know basic linear algebra

it is in the essence of matroids to generalize linear algebra (oxley focuses on this branch more than the graphs one, which welsh does more)

the basic theory of vector spaces is essential

[radiant marlin]

i second oxley

[polar goblet]

Ok so I should be alright

[mighty tartan]

All the necessary graph stuff is defined in a few pages at the start so you don't need to have really done stuff with graphs

[molten gulch]

why does this vaguely remind me of ideals

[queen lantern]

@left cloud sorry for the specific ping but have you read Mac Lane category theory. It's the book im reading right now and im not sure if I should stick with it even though I heard its one of the standards.

For example he used commutative diagram twice before he later defined it, and then he used category before defining it and so its kind of confusing for me, do you know if it gets any better?

[left cloud]

lol maybe the joke didn't make it through. i am the opposite of an expert in category theory

[queen lantern]

oh 😭

thanks anyways lol

[queen lantern]

if anyone has read this book can you let me know if you found it good

[molten gulch]

I've been told it's a very heavy intro to categories

riehl's book might be better

https://emilyriehl.github.io/files/context.pdf

[mighty tartan]

i can also positively speak out for https://link.springer.com/book/10.1007/978-3-031-42899-9. This one throws a million examples at you so you can look at those you already have contexts for, be it linear algebra or topology or order theory or whatever

[radiant marlin]

just cuz they use the letter I?

or why

[short fable]

11chs to hit submodular functions

[radiant marlin]

there is a correspondence of a matroid (its independence complex, specifically) with the stanley-reisner ideal

[mighty tartan]

the chapters beyond the first say 4 are all very nonlinear

[molten gulch]

Specifically the whole \emptyset must be in I, if I is in mathcal{I} etc etc...it just feels vaguely familiar, not the same but somewhat vaguely familiar

[radiant marlin]

the downward closure here is opposite to the upward closure of an ideal

perhaps

[molten gulch]

yea

that

[radiant marlin]

that is basically how this correspondence comes to be

[odd cargo]

i beg yall to read any of eulers writings man...

True mathematician

[balmy breach]

I think if you face this problem, don't read it top down.

If you see something you don't understand just read forwards for a definition. A lot of people (including lecturers, and also in language classes) prefer to show you something and how it is used in context before showing a definition.

[bronze chasm]

The first exercise is about Lie algebras...

[molten gulch]

what book(s) are you reading rn?

[bronze chasm]

Not that I'm actually reading it, but MacLane.

[molten gulch]

ahhh

[obsidian ridge]

U guys got any resources for self studying probability and stats for machine learning

[queen lantern]

After you read intro probability book I would read introduciton to mathematical statstics by Craig, Hogg, and McKean

im not really sure what a good intro probability book would be though, the ones I read werent so good

[obsidian ridge]

thanks

[slow roost]

I don’t recommend this book for a first intro to categories

[normal crystal]

https://stat110.hsites.harvard.edu

[obsidian ridge]

Ty dude

[rotund eagle]

I know it's math channel, but still maybe there is a physics here by chance, so I will ask.
Is there any good pop-sci stuff on nuclear physics, specifically with a focus on nuclear energy? By ‘good pop-sci’ I mean something on the level of the Feynman Lectures - aimed at advanced high-school students or early undergrads. Ideally it would be more recent and reflect the latest advances in nuclear power. Or am I asking for too much?

[midnight gulch]

i don't have any recommendations but there is a physics server you can ask #old-network message

[tender cobalt]

feynman lectures isnt pop sci lol

[rotund eagle]

well, kind of. I would say it's in the middle between a pop sci and a rigorous textbook

[rotund eagle]

thank you!

[tender cobalt]

no

it can be treated as an actual textbook

i mean these are literally university lectures on physics

supposed to teach u actual stuffs

[rotund eagle]

It can, but better not. It's a great supplement to the main textbook though. Anyway, to not develop an offtopic further, just wanted to say that I'm looking for something similar to FLF, but specifically in the field of nuclear physics and nuclear energy

[tender cobalt]

it is

[tender cobalt]

why not check out nuclear physics from an intro physics textbook?

have you done that?

You could also just grab a nuclear physics textbook

but i think you need quantum mechanics for that

How much physics and math have you done?

[rotund eagle]

Usually they are too hard for my target audience advanced high-school students or freshmen. Yes, because of quantum mechanics. So I am looking for something introductory, but at the same time advanced enough from usual pop sci talks

[rotund eagle]

assume precalculus, maybe a little bit of calculus, no linear algebra and a bit of introductory physics

[tender cobalt]

have you checked out introductory physics textbooks like HRK or University Physics or Fundamentals of physics

modern physics section should be enough for that

[rotund eagle]

this one? https://www.amazon.com/Physics-1-Robert-Resnick/dp/0471320579
Sorry, I am not very familiar with English textbooks

[tender cobalt]

https://www.amazon.com/Fundamentals-Physics-2-David-Halliday-dp-1119801265/dp/1119801265/ref=dp_ob_title_bk

[rotund eagle]

Thank you, I will check it!

[tender cobalt]

Welcome

[fallen moss]

Does anyone have a favourite measure theory and/or functional analysis book??

I've been reading Youngson's linear functional analysis book for the most part, but I'm wondering if there are any others!

For measure theory, I'm thinking of using Donald Cohn's book

I'm wondering if there are any opinions!

[fallen moss]

I'm not sure if you've been recommended this at all, but Leinster's book on "Basic Category Theory" is a really good first introduction!

[rotund eagle]

Looked through the book. It's good, but contains only one section about the nuclear energy and nuclear reactors. So if someone knows more extended sources I would appreciate it

[hybrid sigil]

and its open version available on Arxiv: https://arxiv.org/pdf/1612.09375

[hybrid sigil]

I was looking at this too, found this topic on MO helpful, but you probably saw it already: https://mathoverflow.net/questions/11591/suggestions-for-a-good-measure-theory-book

unfortunately, I don't have a personal opinion on this, because I haven't yet read any of those books

Axler's book also looks good, as everything coming from him. I'd probably use this myself as a first book, when tackling that subject: https://measure.axler.net/

I also have Kolmogorov/Fomin "Elements of the Theory of Functions and Functional Analysis" in Russian, which is considered a classic

[queen lantern]

i’ll check it out thanks

[queen lantern]

currently reading axler book and it’s very readable

my class uses axler and folland

[paper vapor]

https://codeforces.com/blog/entry/69405

[paper vapor]

math for competetive programming

[mortal iris]

I like Einseidler and Ward for Functional Analysis.

[mortal iris]

Paul Hewitt's Conceptual Physics has an accessible introduction to atomic and nuclear physics for high schoolers with no Calculus background.

[loud cradle]

cohn's is quite nice (2nd edition), very clean and readable

[twin parrot]

Axler for measure theory, it is so readable that I didn't have a hard time understanding the concepts despite not having a solid foundation in real analysis lol

[mortal iris]

You actually completed it or did you just go through some pages and move on to smth else later?

[upbeat shuttle]

whats up im in 11th class and were learning limits rn ( pretty easy stuff so far ) but i wanna go further and learn harder limits + calculus ( integration etc. ) myself before 12th class. Can anybody recommend me excellent books ? ( can be multiple )

[mortal iris]

Spivak's Calculus.

Good luck. Hopefully you get an appreciation for what mathematics really is about, if you manage to go through the book.

[upbeat shuttle]

thank you so much i will try my best.

[odd cargo]

euler

[upbeat shuttle]

elements of algebra ?

[odd cargo]

i wasnt being serious

also im pretty sure he has writings on limits or something of that sort in his calculus stuff

[dense dew]

any good intro to proofs books

[queen lantern]

I would say before going to harder things it might be beneficial to read a book on proofs, such as, "Book of Proof" which can be found online and then you can dive into some hard subjects that you might enjoy

[upbeat shuttle]

Appreciate ya

[queen lantern]

"Book of Proof"

https://richardhammack.github.io/BookOfProof/Main.pdf

[queen lantern]

here is the link for the book above

[dense dew]

thanks bro

[upbeat shuttle]

thanks

[glass tapir]

for those who’ve read rotman’s algebraic topology, what do the stars next to certain questions mean? I can’t seem to find any mention of them anywhere else

[odd cargo]

difficulty probably

more stars= higher difficulty

[glass tapir]

ah ok thank you

[fresh hull]

I think they mean they’re used in the theory

Iirc this is in his preface

[glass tapir]

ohhhh that makes sense idk how i missed that

thank you

[fallen moss]

Omg, thank you so much guys!!! I didn't expect so many responses! I appreciate it so much!! @hybrid sigil @queen lantern @mortal iris @loud cradle @twin parrot

[mystic orbit]

is there any standard reference for intro to inferential statistics?

I need a quick run down of hypothesis testing and uh

I don't have my profs notes

[remote sparrow]

https://www.amazon.com/Statistical-Inference-George-Casella/dp/0534243126

https://link.springer.com/book/10.1007/978-0-387-21736-9

https://www.amazon.com/Mathematical-Statistics-Applications-Dennis-Wackerly/dp/0495110817

these references don't invoke measure theory

https://link.springer.com/book/10.1007/978-0-387-93839-4

https://link.springer.com/book/10.1007/b97553

https://link.springer.com/book/10.1007/978-1-4612-4250-5

these references invoke measure theory

[cerulean anvil]

any good books for calculus which starts from scratch and covers advance topics

[gray gazelle]

both stewart and spivak seem to be recommended frequently

[dusky pilot]

what are some good books for self studying linear alg
preferably more theory than applications if that's a thing idk

also any good trig books to review more trig function identities

[rotund eagle]

Thank you!

[twin parrot]

Linear Algebra by Friedberg Insel Spence

[cunning elk]

I just have sin(a+b) and cos(a+b) memorized and the rest follow relatively easily

[gray oracle]

apostol calculus vol 1-2

[weary remnant]

@mortal iris have you tried precalculus in a nutshell by simmons?

[hearty yacht]

GUYS HAS ANYONE QUALIFIED RMO?

[normal crystal]

have you started to consider that you just don't like anything to do with computer architecture🤡

[gray gazelle]

Should I watch Professor Leonard's TTP video before precalculus ?(i have already completed prealgebra and intermediate algebra)

[remote vortex]

Which is a sign of excellent taste

[mellow rivet]

Damn sniped me

[mortal iris]

I have never tried a Precalc textbook. I only use some (for the exercises) to teach every now and then. Thought I made it very clear the last N times you've pinged me randomly.

[cunning elk]

obligatory “you don’t really need a textbook for precollege topics the online resources for them are oversaturated enough as is”

[mortal iris]

And if you think you do then hire a tutor cos you really need it.

[torn blade]

roadmap for learning digital signal processing? or maybe a good book/lecture notes to read on the topic

[torn blade]

oki thanks

something that covers: digital filters, Fourier analysis, z-transforms, matrix transforms

would be nice but not necessary

[blazing holly]

I assume using matrix algebra to solve Diff Eqs

[nocturne wave]

Can anyone help me find good resources for functios and trigo, I am a cooked JEE aspirant.

[true kayak]

Black Book???

Concepts of Physics (Vol 1 & 2) — H. C. Verma — Excellent for building fundamentals.

Understanding Physics / Physics for JEE — D.C. Pandey — Good for exam-oriented questions.

Fundamentals of Physics — Halliday, Resnick & Walker — Great if you want deeper understanding beyond basics.

Problems in General Physics — I.E. Irodov — Difficult problem book, good for Advanced level practice.

Physical Chemistry

Physical Chemistry — O.P. Tandon (or P. Bahadur) — Clear explanations + good problems.

Numerical Chemistry / R.C. Mukherjee — Strong for numericals.

Organic Chemistry

Organic Chemistry — M.S. Chauhan — JEE-focused theory + practice.

Organic Chemistry — Morrison & Boyd (optional deeper theory).

Inorganic Chemistry

Concise Inorganic Chemistry — J.D. Lee — Excellent for concept clarity.

O.P. Tandon Inorganic — Good question practice.

R.D. Sharma (Objective/Standard) — Very good for fundamentals + lots of practice.

Cengage Mathematics Series — (Algebra, Calculus, Coordinate Geometry, Trigonometry etc.) — Excellent for JEE Main/Advanced syllabus coverage.

Arihant books by S.K. Goyal / Amit M. Agarwal — Topic-wise books for Advanced level practice (e.g., Integral Calculus, Algebra).

Problems Plus in IIT Mathematics — A. Das Gupta — Great problem-solving book.

S.L. Loney – Trigonometry / Coordinate Geometry — Classic books for these topics.

[safe wyvern]

Irodov should only be tried after you finish HCV and DCP

[midnight gulch]

wdym "does not require a lot of effort"?

[mental condor]

Yoo

[true kayak]

jee is like on the global ranking after gaokao and upsc

so a person needa atleast spend 8-9 hrs

if he wants to secure a seat in iit if i am assuming thats what he want

[mortal iris]

Keith Conrad's Blurbs. Although you have to work through some portions to gain understanding. No effort = pointless in math.

[mortal iris]

Being an aspirant for an exam is such a joke to begin with. No wonder you're cooked. Pick up Axler's Precalculus and work through the relevant sections there. Learn because you're interested, not because you aspire for a stupid exam.

A free alternative would be Stitz and Zeager's Precalculus.

[signal zenith]

Alexandru Scorpan - The Wild World of 4 Manifolds

It’s not intended to be rigorous but to be some intuitive and visual ideas in 4 manifold topology

I’ve really enjoyed it

[mortal iris]

Also Needham's Visual Differential Geometry and Forms.

[shut grotto]

On the inverse function theorem proof in spivak, any other resource that I can use for this?

[sage python]

You want to use "contraction mappings" to give the good proof of the inverse function theorem

I know it's in Rudin

Probably elsewhere?

[molten gulch]

Dami can you also please pin the multivar book reviews?

so they're easy to find alongside everything else

[remote sparrow]

browder and shifrin give the contraction mapping proof

hubbard and hubbard give a similar argument that's based on newton's method

[nocturne wave]

Yeah, I am interested and genuinely wanna learn math at this point of time, as I have no burden to think much about other subs

[normal crystal]

you spent all fall semester tormented by your DDCA class
now you skimmed the standard Comp Arch text and it seemed boring
put a fork in it

[normal crystal]

anti anti-aliasing

or just aliasing

though, that example might actually have anti-aliasing
it's just blown up larger

[cunning elk]

are you able to print it ?

[normal crystal]

Chipper pls
no way you are seeing those jagged edges on a letter on your lil flip phone screen

anon notes using letters cut out from newspaper print and nailed to their front door

this is not that bad
and it's bigger on my screen than yours

[mighty tartan]

Wikipedia

[tender cobalt]

when do jee candidates ever study theory bro ? 😂

it's only problem first

no theory

[vital bane]

anti-liasing

[shut grotto]

I'll probably go through the proof in rudin

I wanted to ask, is it worth doing chapter 3 of spivak if I'm already doing lebesgue integration on R^n from folland? I thought it'd be nice to get a riemann integration perspective on the topic but I'm not really enjoying the writing of spivak (Feels slow and the exercises are all pretty straightforward)

Also what were your opinions on rudin ch 9 and 10? I wonder if I should go through those completely since I haven't learnt the stuff covered there

[safe wyvern]

No idea

[desert nymph]

Agreed 100%

[obtuse yarrow]

i want the best book math

[vital chasm]

Grafakos' Classical Fourier Analysis

[desert nymph]

Any maths, physics, chemistry book that I can read casually?

[young ruin]

idk if this classifies but https://www.gutenberg.org/files/33283/33283-pdf.pdf

just read the first 2 pages

to decide wheter or not u like it

[vital chasm]

I'll say that this is not piracy, jic you get flagged
Project Gutenberg license lets one do basically anything

[young ruin]

ye

[vital bane]

Algebraic Geometry by Robin Hartshorne

Also In Search of Schrodinger's cat by John Gribbin

[desert nymph]

alr thanks

[vital bane]

No problem

<@&268886789983436800>

[desert nymph]

why ping mods bro xd

[mortal iris]

The Road to Reality by Penrose.

[velvet flax]

advanced organic chemistry (both parts) by sundberg and carey

[tender cobalt]

whats the prereq

[spare tusk]

Suggestions plsss

I wanna read something funny but mindful

[red eagle]

Anyone got recommendations on a good probability and statistics for self study?

[short fable]

https://probability.ca/jeff/probstatbook.html
But I recommend books in each of prob and stats

[mortal iris]

Flatland

[mortal iris]

Stats 110. Has lecture vids, a free book and lots of very good solved problems.

[short fable]

https://anonymousplanet.org/guide/

[velvet flax]

gen chem

[gray gazelle]

I read flatland when I was ten!

lovely book

[vital chasm]

3628800 is a ridiculously long age, that's amazing

[desert oriole]

options, futures and other derivatives

does a lot of math you most likely haven't seen yet (but is (extremely) unrigorous and therefore something one can read casually)

[mortal iris]

Would qualify most physics books for casual reads then lol

[vital bane]

mfw people can read conformal field theory books casually

[desert oriole]

but the physics part is probably not that easy whereas the finance part in ... isnt hard at all

i dont think any physics book is as easy as this

[median fulcrum]

I recommend The Restless Hungarian, truly an amazing read.
Yours sincerely Raymond Holt

[gleaming pecan]

Could someone recommend some authoritative sources or textbooks on the Method of Finite Differences for finding the general term of a sequence?

[remote sparrow]

https://www.rxddit.com/r/math/comments/1qsjend/robert_devaney_coauthor_of_several_differential/

[normal crystal]

Sour Drop obituary hunting phase

[odd cargo]

whats the deal with this insights into mathematics dude

[slow roost]

if it’s in seconds, it’s exactly 6 weeks

[true sail]

Hello, how do you check whether a book is on discount? You manually check the sites, or do you have an automatic solution that notify you when there's a discount?

[gray gazelle]

Email notifications

manually checking

yeah

it can be automated lowkey

i bet there is a program to do it

[pine tundra]

I recall someone suggesting the website "bookfinder"

[gray gazelle]

oh i just looked it up

and yeah it finds the

best price

[pine tundra]

But I've never used it so I can't help

[gray gazelle]

not sure

if it works for every book

or not

[stiff token]

<@&268886789983436800> double modping

[sage python]

Chapter 9 is okay but overall a bit mediocre (the half-assed treatment of linear algebra is meh, and it's overall a bit deficient)

Chapter 10 of Rudin is stupid

And learning Riemann integration on R^n if you already know measure theory is a waste of time

[obtuse thistle]

Im rly liking abbots analysis book, and was wondering if theres any books similar for complex.
Im liking the way he structures and presents ideas.
if u got any good recs id much appreciate them

[frozen perch]

Seconding this - I would absolutely only read Rudin through chapter 8, yeah. There are just better books for the rest of the topics

[runic nest]

'm using 20 year old books to review engineering math. Are there any cool books for organizing engineering and physics math like this method?https://www.youtube.com/watch?v=Yyic5aaXGaw

YouTube
The Organic Chemistry Tutor
Integration By Parts - Tabular Method
Image

[shut grotto]

Alright, thank you

[gray gazelle]

my trick is supplementation!

I unfortunately have eternal age and not eternal youth so I am the size of a grape and in constant pain

please save me

[fading jetty]

Heyy yall
I am gonna end my grade 10 in a couple of months. I am aiming for olympiads in my class 11 & 12
And I am also interested in entering Math fields in the future maybe Research, AGI/AI/ML, cryptography, quant, etc.

I am not sure where to begin and what resources to follow, can someone please guide me 🙏

[vast jackal]

hey guys I am done with paul's online math notes algebra I would like some recommendations for trigonometry so I can get into calculus

i prefer a textbook..

[somber echo]

Hey I was thinking to start studying langlands, is daniel bumps' book on gl2 good or should i start with langlands book

thanks

[fading jetty]

How do I learn these?

Through books/videos??

[vast jackal]

problems are at randoms and I prefer a deep in into the subject

[somber echo]

are borcherds vids on modular forms and l functions good

Ic

[remote sparrow]

https://www.rxddit.com/r/math/comments/1qtcp6p/what_are_your_pet_peeves_with_some_things_common/

[tribal prism]

I want to learn calculas
Should i continue and finish Cambridge Pure 2/3 or should I use a different curriculum/ book?

[vast jackal]

from my friends experience

he did pure 1 and 2

and then did

further maths 1 and 2

[tribal prism]

skipping 3?

[vast jackal]

he didn't need no more seperate calc book

[vast jackal]

it was the pearson a levels pure year 1 and 2 bro

and then further maths 1 and 2

[tribal prism]

oh

alr

[vast jackal]

the

[tribal prism]

thx

[vast jackal]

Edexcel pure year 1 and 2

dat one

it had tons of problems aight

[tribal prism]

wth this has stuff in my country's scholarship calculas

what year is pure2?

[vast jackal]

idk

i am no british

it was from an olympiad friend

he did those i think when he was year 10

or 9

[tribal prism]

wth

[vast jackal]

just do pure year 1 bro

it doesnt take long

[tribal prism]

already learnt most of it

at least looking through the chapters

[vast jackal]

pure year 1 and 2 has few pages

[vast jackal]

bro umm

did you learn trig from the book

[tribal prism]

what trig

like

[vast jackal]

I am still on algebra 😢

[tribal prism]

trig in calculas or graphing and equations

[vast jackal]

i tried the book but doesnt work on me

[tribal prism]

is that the british curiculum

cvause im doing international cambridge

[vast jackal]

it is the british curriculum

[tribal prism]

Ah

[slate marsh]

What is the “best” introductory book on measure theory?

[mortal iris]

Very subjective. Best would depend on what you want really. If you want comprehensive but intense, look no further than Bogachev. If you want a readable intro that touches on other topics as well, try Axler. If you want a barebones Intro that gives you a taste of applications but no more, then Cohn is good.

[marble swallow]

Can somebody suggest a course on "First order logic ".
I want to learn it for real Analysis

[half vigil]

you def don't need a whole course in that for RA

[marble swallow]

Which among these , should I watch

And is there anything else that's required

[half vigil]

even simply understanding quantifiers, and stuff like if and if and only if should be enough

[valid dawn]

this is overkill

[marble swallow]

Still, for the sake of better understanding.
Which lectures should i watch

[half vigil]

well, maybe the second one?

[worldly pendant]

tbh, why not just learn the proof methods

[marble swallow]

The complete story is .

I have started real analysis and I have looked and understood sufficient number of proofs.
Proof by contradiction, contrapositive, implication, double implication and all

But recently I was struggling with a simple paragraph , so somebody suggested me to take a first order logic course

[worldly pendant]

what I meant by "proof methods" is proving statements in fol

You dont really have to go deep into semantics to do it

And by proving statements, i mean just knowing how to use universal elimination/introduction, and existential elimination/introduction

I am assuming you have the basics of 0 order logic

[marble swallow]

Tbh, i don't know these degrees

Whats zero order , first order...I don't know

[worldly pendant]

Do you not know sentential logic?

[marble swallow]

I just know what are quantifiers and those logical connectors

[worldly pendant]

do you know how to draw truth tables?

[marble swallow]

This term , I m hearing for first time

[marble swallow]

Yes ..

I have drawn then in digital electronics.
Never used them in my mathematics,

[worldly pendant]

Ok. Then do you know how to prove basic things like, or if you do not know how to prove, at least acknowledge that "if A, then B" is equivalent to "not A or B"

[marble swallow]

Yes I know this

Not B implies not A

If A , then B

[worldly pendant]

Just learning how to use first orderlogic proof is not really that difficult imo

hmmm

[marble swallow]

What should I do for now

[worldly pendant]

ok, does this make sense to you: Ǝx∀y P(x,y)

there exists some x, for all y, a predicate that involves variable x and y... is true

[marble swallow]

No

Not familiar with Predicate

[worldly pendant]

predicates are not difficult

[marble swallow]

I m not saying that

I m just coming across these terms for first time

[worldly pendant]

ok, let me explain to you

Consider the sentence: Batman is male

we know that this sentence is either true or false right?

Now consider the sentence: x is male

So wouldnt the sentence "Batman is male" just be an incident where x = batman?

[marble swallow]

Yes

[worldly pendant]

ok.

the sentence: x is male is a Predicate about x

so we can write it as P(x)

Now, from x is male, why not we change 'male' to y?

That would become x is y, and be a predicate about x and y. This can be written as P(x,y)

Are you catching in so far?

[marble swallow]

Yeeee

I respect your help

[worldly pendant]

Now consider Batman is male, which does not involve any variables. Is it obvious that the sentence is true or false?

[worldly pendant]

trust me this is really easy

[marble swallow]

I mean , currently I have to go to help my mom

So could you suggest me some playlist maybe

[worldly pendant]

hmm let me look into it

https://www.math.purdue.edu/~arapura/preprints/proof2.pdf

not a playlist but reading this may help

if you get questions you can work from there or ask me

[marble swallow]

Ok thank u

[worldly pendant]

I must warn you, it might not be so easy and require some amout of dedication if you wanna do it alone

once you understand the basics of first order logic, I can give you a non rigorous but quick crashcourse on proofs

which probably wont exceed 30 minutes if we go on a vc

[marble swallow]

No problem.
I m doing real Analysis alone

[mighty lava]

Hello guys im new in this server and i would like to hear some recommendations for math(and or physics) books so that i can improve. Im currently reading calculus by michael spivak !!😊

[cunning elk]

pick up kleppner's mechanics or smth to go with your calculus maybe

[mortal iris]

Nice. Pick up Spivak's Mechanics as well.

[mighty lava]

I searched for this book before but I could only find pdfs of it. It seems to be out of print or just really rare

[mortal iris]

Aye but you could print your own digital copy and keep it if you want. Or just use the pdf. It's a solid book.

I believe almost all of Spivak's books aside from his Calculus one are out of print and also rare since he didn't outsource the publication.

And the man has passed away. Wish he wrote more physics.

[short fable]

Further the practice of making book/binding books yourself, I heard it's a very rewarding crafting skill (probably not but we're in #book-recommendations)

[mighty lava]

Yes i know.. have u completed any of his works?!

[mighty lava]

Ill see if i can print it at a bookstore

Thanks for the recommendation though🙏

[mortal iris]

I rarely complete books. Don't see the point of doing more than I need. But his Mechanics one is something I've read almost entirely because it's a treasure trove of interesting content. Also the first 2 volumes of his diff geo series because that's where I started. Calculus I used sparingly.

[mighty lava]

Ohh okay fair enough!! Ill check out everything u told me thank you

[remote sparrow]

https://mathpop.com/

his publishing company still exists, but last i checked, it was owned by hindustan press

i've heard the binding quality of new copies is inferior compared to when he was alive

hmm it seems like it was bought back recently

see the "About Us" page

Publish or Perish, Inc.® is an academic publisher—often known simply as Publish or Perish—founded on a simple principle: to produce authoritative texts with an unwavering commitment to quality. We believe that essential academic works deserve to be presented in a format that is as durable and elegant as the knowledge they contain.

For years, our book production was handled by a large-scale manufacturer who prioritized volume over value. The quality declined, fulfillment was slow, and we knew a change was essential. We made the decision to bring our production in-house, taking complete control over the entire process to ensure every book meets our exacting standards.

[hybrid sigil]

haha, their covers are epic!

That was "A Comprehensive Introduction to Differential Geometry" by someone named Michael Spivak ^^

[hybrid sigil]

AbeBooks is telling me that the most expensive sell of 2025 was a 4-pages letter written by Gottfried Leibniz! £32,000

it looks to be even more expensive than a new copy of Dummit and Foote :D

[low arch]

I'm looking for recommendations on teichmuller theory but so far the books i've found aren't really introductory (or at least don't feel like an introduction to the topic)

[odd cargo]

plenty of books on moduli space

[mortal ore]

Is this supposed to be a satire about the state of academia

Just like the name of it

[rich sun]

PoP, Inc.®

[remote sparrow]

maybe idk

you'd have to ask spivak's ghost

it was his company

[nimble oasis]

fiction recs pls

publish or perish is kinda only good cos of its covers

[odd cargo]

The Tragedy of Othello

do people not read comics

[low arch]

yeah and im looking for an introductory one lol

thought that was clear

[odd cargo]

out of curiosity, how did you arrive at teichmuller space?

[remote sparrow]

fake news

[remote sparrow]

does medium matter

[humble spire]

What would be ur recs if medium didnt matter

[nimble oasis]

erm idc cos i like reading public domain on an ebook - its free

btw ive read most books on the public domain

[nimble oasis]

why is this SO expensive

like the handwriting sucks

[nimble oasis]

nope

[remote sparrow]

historical artifact

[nimble oasis]

4 pg

how long is it?

like from 1850

[remote sparrow]

way earlier

[nimble oasis]

ic thats why its expensive

1500?

but its only 4pgs

anyways u have book recs on fiction?

[remote sparrow]

A Practical Guide to Evil

[nimble oasis]

the plot?

and age group if u k

[remote sparrow]

YA

[remote sparrow]

https://www.amazon.com/Practical-Guide-Evil-I-ebook/dp/B0F2549NHK

[nimble oasis]

i think ive read it lol

[remote sparrow]

FYI synopses are pretty trivial to find yourself

[nimble oasis]

2 yrs something ago

[remote sparrow]

you probably read the web novel

[low arch]

looking at cluster algebra stuff related to triangulations of surfaces
looking for if a certain pair of triangulations can exist i found something related to mapping class groups that arise in teichmuller theory

[hybrid sigil]

Leibniz is heartbroken now

[mortal iris]

Why

[molten gulch]

@cerulean thicket keep bot commands to #bots please

Actually, there's quite a lot of bot messages

<@&268886789983436800>

[real marsh]

Yeah @cerulean thicket this is book reccs not bots

rays

[rapid fjord]

lance

[real marsh]

we can be more selective

[mighty tartan]

Kill them all

[spare osprey]

Hello guys
Anyone preparing for gate mathematics or IIT jam mathematics

[ancient minnow]

can someone recommend books like Polya Solving the problem?

Can I handle it? I'm 1st yeat student

I've asked gpt, but it suggested me some university stuff

Ty

[native scaffold]

Solving Mathematical Problems by Terence Tao

[half vigil]

the art and craft of problem solving

[desert oriole]

engels problem solving strategies

[cerulean thicket]

@real marsh @molten gulch
My apologies,

[fair fiber]

is gamelin green good ?

[remote sparrow]

yeah. it has answers in the back too

[fair fiber]

my prof abandoned munkres

and now used gamelin green

what does this mean for my topology understanding ?

[remote sparrow]

i mean, not much if this is a first course.

[fair fiber]

how do they differ ?

ik gamelin starts with metric spaces

but will i eventually do everything ?

[fair fiber]

for all questions ?

[remote sparrow]

most of them

[fair fiber]

after GG and first course am i ready for alg top ?

[remote sparrow]

what does "everything" mean

[fair fiber]

standard first course

wait give me a min

[fair fiber]

everything in here

[remote sparrow]

you should be very comfortable with quotient spaces for basic algebraic topology, but they don't appear to be a topic on your lesson plan

[fair fiber]

ig that's why my uni mandates diff geo

[daring wolf]

all you need for algtop in general top are like being comfortable with quotient spaces and homotopies

[remote sparrow]

you should know about free groups and group presentations for the basic stuff as well

[daring wolf]

yeah right

[remote sparrow]

but you don't have to be 100% fluent with those ideas; you'll get more comfortable as you go

but quotient spaces and quotienting are essential concepts

https://tenor.com/view/i-saw-w-gus-fring-gus-gustavo-deleted-gif-25440636

[daring wolf]

https://cdn.discordapp.com/emojis/1438162508908331089.webp?size=48&animated=true&name=pinkNODDERS&lossless=true

[fair fiber]

basically i just won't do it

[dry rune]

Does anybody know a book on first order, second order, and higher order logic? Thanks!

Also open courses or MOOCs would help

[sinful quest]

I`d like to start reading some books about calculus and start bolean logic have anyone some recomendation? Thanks

[midnight gulch]

enderton's book ("a mathematical introduction to logic") is good for fol and basics of sol

for higher order logic it gets more specialized

[dry rune]

Thanks for this!

[frozen perch]

I found Enderton a good second course, when I was learning logic. Boolos and Jeffries (and a third person?) is my first course recommendation

And of course https://www.logicmatters.net/tyl/ has many recommendations!

[sinful quest]

Thx I see before sleep, I`ll start software engeering and Id know if u have other recomendations of books like that can help me 🙂

[dry rune]

Amazing, thanks!

[frozen perch]

Alas while I teach Algorithms (out of Kleinberg+Tardos or CLRS), I am otherwise a very pure mathematician. Actual software is out of my expertise!

[sinful quest]

No problem, just for share ur recomendations help me a lot thx

Ok ok I`ll see that too thx for u recomendation dude 🙂

[dry rune]

My first go-to book for calculus is Stewart. I have both of his books Calculus: Early Transcendentals and Calculus: Concepts and Contexts. I barely noticed any difference. If I had to tell you what book to get, well just get Stewart.

Most people are also recommending Spivak although I haven't read him. He's probably the most popular one.

Brief Applied Calculus by Berresford and Rocket are also superb. Tons of calculus applications ranging from economics, finance, physics, etc.

I also use Calculus with Analytical Gometry by Swokowski to complement Stewart.

Though I encourage you to check the pinned messages, there are more apt recommendations than what I gave.

[sinful quest]

OH have pinned messages I didnt see srr

[midnight gulch]

would you say that enderton' book is more advanced? i feel like those two are at about the same level

the most approachable mathematical logic book i know of is leary's, though i don't believe it covers second order logic iirc

[sinful quest]

I`ve heared about Stewart I was think about starting whit him thx for ur recomendation 🙂

[eternal jasper]

Hi. Been having a LOT of truble lately with basics, I just want some recomendations on books than could help me to learn and understand math, even if I don't have a clue about math.

Algebra books, calculus books, anything helps. I just want to build a strong foundation to keep up with what's coming next.

[midnight gulch]

as compared to what?

[dry rune]

Yeah, I'll just get everything

[frozen perch]

I felt like it was slightly more terse, like the pace and notation were a bit compact. Boolos is fairly leisurely from what I remember (arguably too leisurely/bloated in later editions!)

[magic monolith]

Recommend read this one

actually

https://en.wikipedia.org/wiki/Beyond_Good_and_Evil

good for learning math

trust trust

[wild blaze]

nietzsche is for poser philosophy enjoyers

psuedo philosophy

[magic monolith]

okay

it's fine

it's your opinion

and i don't judge

I'm just

trying to live

[short fable]

Cat theory is for poser math enjoyers
Pseudo math

[wild blaze]

arent they using cat theory for condensed math

to properly ground functional analysis

without approximations

[keen quarry]

The books recommended above are closer to philosophy

It IS philosophy actually, it's Peter smith

[mighty lava]

I have a coupon for a specific website that expires in 2 days. Should i buy calculus on manifolds by michael spivak to read after spivaks calculus?

[molten gulch]

You can, and even if you don't read it now you'd have it for whenever you want to

[mighty lava]

Alright thanks

[wild blaze]

it literally says beyond good and evil

[keen quarry]

What

[wild blaze]

^

[keen quarry]

Yeah?

Is Peter smith not more of a philosopher than nietzche

[wild blaze]

its written by nietzsche

wait where r u

which recommendation are u referring to

[keen quarry]

Peter smith bro

[wild blaze]

i dont see who said that

[keen quarry]

This one

[wild blaze]

ah

i wouldnt say its philosophy

[keen quarry]

Closer to philosophy than nietzche

[wild blaze]

i wouldnt say the gay science is that bad

[normal crystal]

is this a real conversation

if you're gonna be a hater, at least stand by it
no quick deletes

[wild blaze]

i was confused to where he saw philosophy besides nietzsche

[fair fiber]

who is he talking to

[wild blaze]

yeah what an idiot talking to himself

[magic monolith]

me?

[fair fiber]

frfr

[wild blaze]

bro no

[normal crystal]

mhm, I see you topo

[magic monolith]

so uhh who

[wild blaze]

the guy i was talking to

[magic monolith]

Stefan?

[wild blaze]

yes

[magic monolith]

ah okay

[wild blaze]

where to start in philosophy is such a weird question to be asked

ive thought abt this idk what id say

[signal zenith]

Apparently Brouwer was a hardcore kantian

I find this quite funny

[wild blaze]

wasnt he dutch tho

kinda makes sense

[magic monolith]

True

[vital bane]

you're studying topology now?

[mortal ore]

Nietzsche was such a nonphilosopher that he was one of the most important pioneers of the philosophical movement of modernism

[eternal jasper]

Which is better? Larson or Stewart

going 4 engineering

[tame tree]

just pick one

it doesnt matter

[fair fiber]

ye

[gray gazelle]

spivak

[gray gazelle]

he is a philosopher

[gray gazelle]

no its not

its just that performatives tend to popularize Nietzsche because they correlate him with nilhism

[gray gazelle]

this is a good start for moral philosophy

its not for maths

[gray gazelle]

nietzsche spent more time with philosophy than the time you spent reading his books before criticizing him

[gray gazelle]

aristotle was criticized by many during the early modern period up until now because of his geocentrism

you avoid all ideas made by nietzsche because he discussed the idea of nilhism and was criticized for it

it is reasonable for you to avoid all ideas made by aristotle

[gray gazelle]

how did Brouwers’ ethnicity made him a hardcore kantian?

[fair fiber]

Metaphysicakdog > metaphysicial cat

[gray gazelle]

sybau algebraic geometry > topology

[fair fiber]

Analysis > algebraic geometry sybau

[gray gazelle]

Are you assuming that all dutch are hardcore kantian

or youre using an inductive one you assume that most dutch people are hardcore kantians

[fair fiber]

All dutch are tall

Except enpeace

I saw what you deleted

[gray gazelle]

i reacted the wrong one

[fair fiber]

Me when you praise alg geo

[gray gazelle]

yeah you definitely got clowned

[molten gulch]

<@&268886789983436800> memes in book recs again

[gray gazelle]

mb

[gray gazelle]

we have a bigger fish to fry

someone recommending philosophy books and discussing poor reasonings about philosophers

[fair fiber]

Anyone who recommends philosophers i dont agree with should be banned

[gray gazelle]

yeah i dont agree with russell

jokes aside, the guy tried to be sarcastic and recommended a philosophy book that he believes is good for learning maths

[gray gazelle]

the book^

[mortal ore]

I was joking, I thought it was obvious

[gray gazelle]

some guy will probably take you seriously

[near plinth]

Guys anyone read "Against machine by Paul kingsnorth"

[fair fiber]

Nietzsche isnt a philosopher tho

He is an author

[gray gazelle]

https://tenor.com/view/rage-gif-18338667365126853250

can anyone seek for book recommendations ABOUT MATHS?

[fair fiber]

I recommend baby rudin

[mortal ore]

Those things are not distinct

In fact his education in philology and literature famously play important roles in his incredibly controversial racial philosophy

[loud cradle]

once when i recommended this to someone, they asked "why do they call him baby rudin?"

[gray gazelle]

self studying his book is brutal tho

[mortal ore]

A notable example of his racial philosophy is in Beyond Good and Evil, where he uses the etymology of the words black and white to connect them with the words inferior and superior respectively to conclude the expected result

Horrible argument, but one he did indeed make nonetheless

Also the title of that work alone should bring one to realize that he was a philosophical modernist through and through

Its been a hell of a long time since I've read it so I cant recall

I can try and find it

I realized I remembered the commentary incorrectly

He used black to promote anti semitism because of Jewish hair color

Chapter 9 of BGaE should be it

Sorry for my inconsistency, im not an expert on 19th century philosophy to any extent

Its possible

I was given a copy of it for a class and ive lost that copy since

Hm

I think I have it now

[wild blaze]

nietzsche is so well educated, beyond me and most in this discord. he was a genius and got professorship very early. i still think hes for posers

[mortal ore]

The discussion about antisemitism in beyond good and evil was a bit earlier when he was analyzing the historical association of race and ethnicity to slavery in parts of the world

[wild blaze]

he wasnt antisemitic if thats what we’re talking about

[mortal ore]

And he used etymology to provide justifications for this

[mortal ore]

Yes, I was wrong

[wild blaze]

he was anti

his sister was

[mortal ore]

Im trying to revive years old knowledge about nietzsche which was already not very developed at the time

So bear with me

[wild blaze]

ive read a lot of nietzsche. he’s great i dont criticize the author, some of his philosophy is still wack, and the people who like him are insufferable

i did give credit to the gay science

[mortal ore]

Ive never found myself liking a philosopher so intensely, I just pick up ideas i find interesting and viable

[wild blaze]

i think thats what most ppl do, its good to engage with peoples ideas too though

[mortal ore]

Well yes I dont just agree with what is surface level appealing

Otherwise my ass wouldve been kicked in philosophy coursework

But after a good back and forth with ideas ill pick some up

And then just repeat that with new or old ideas depending on how much I wrestled with them