Can we have math general?

Can we have math general?

What are you working on?
What book are you reading?
What proofs are you doing?

Other urls found in this thread:

www-math.mit.edu/~djk/calculus_beginners/index.html
github.com/B3nszy/The-Math-Group
amazon.com/Category-Theory-Oxford-Logic-Guides/dp/0199237182
amazon.com/Computability-Theory-Student-Mathematical-Library/dp/082187392X
twitter.com/AnonBabble

...

I can count to potato

>Sup Forums isn't about math, tech and programming anymore

sounds about right
XDDDDDDD

You're in luck OP. Not only do we have a general for math, we have an entire board for it. It's called >>>/sci

>Sup Forums - Technology

Currently reading through www-math.mit.edu/~djk/calculus_beginners/index.html so I can do Introduction to Algorithms.

Considering the image in the OP, he's probably referring to math as it relates to CS and programming, which is Sup Forums-related.

Sup Forums is about programming, programming derived from math.
Functional programming has a lot of math.

CS math is bullied on /sci/
CS math is bullied on Sup Forums because webdev edgelords can not handle it.

if only there was math taught by cute anime girls

You see I was agreeing with you but then I remembered we have discussions about the repercussions the elections would have on the privacy of the Internet, which is very much not Sup Forums related so...

calculus for dummies desu, lol

i was using this android app Mathspace and I really liked it but of course they wanted like 10 bucks a week, wtf or 100 a year

fuck that shit. wish i could just find a good all around app or website to take me from algebra to the advanced shit

I'm studying category theory and how it relates to functional programming.

Conceptions mathematics is a great intro book.

Bartosz Milewski has the best videos I've came across as he relates category theory specifically to programming applications.

I like oregons summer program, they have good videos on category theory too.

OP glad you made this thread

bump

>summation sign
>programming/technology
you don't belong here, newfriend

I'm reading Trefethen's numerical linear algebra book.

Shit's hard.

>math general
>>>sci

shut up mathematics shill

How do into math? I dont care about a degree, i just want to know the math

>wish i could just find a good all around app or website to take me from algebra to the advanced shit

forgot to add
>this

Just download the math books in that torrent senpai. Then copy them to you're phone and read on the go.

your*

There was really good math repo with readme on step by step book reading but its supended now

anybody has readme.md?

github.com/B3nszy/The-Math-Group

interested in this as well

Number theory at my college
Mostly modular mathematics and its application to encryption

Currently reading the book in the OP. I just started, I'm in chapter 2, and it's really fun. I like it because it's simple enough to follow along (although sometimes I have to stop for a little while) and it shows the process of discovery in mathematics.
Some of the excercises though, are HARD

>CS math is bullied on Sup Forums because webdev edgelords can not handle it.
This so hard.

>Sup Forums is about programming
this you got wrong, Sup Forums is a consumer tech review and support board for Sup Forums

conceptual mathematics**
im only a few "sessions" deep and have found it to be very gently paced... so much so that i might jump ship and read the first few chapters of goldblatt
that said, i really appreciate its accessibility... if only colleges (or high schools for that matter) could work it into their curricula. but such is the way with so many books that will only ever be enjoyed by the fortunate auto-didacts and perhaps private school students that happen upon them... public funding is a double edged sword, but i digress.

what did you find were the pre-req's for the oregon summer school lectures?
on the site it seems to expect a lot of exposure to programming language theory among other things...


im doing a remedial/refresher reading of peter smiths introduction to formal logic. ill follow that with goldrei and perhaps a few others in his teach yourself logic guide. epps very gentle discrete math alongside a few theorem-proof-corollary type dover books. occasional readings of sipser alongside epstein and carnielli keep me from getting bored.

my overall trajectory is aimed at computability, deviant/fuzzy logics, metaphysics, decision theory, other ai flavored fun stuffs, philosophy intersect computer science etc.
basically topics from the miri reading list :^)

I typed it on mobile and didn't want to bother deleting the comment, waiting to repost, and then clicking the captchas. But I figured a quick google search would fix any confusions for those not familiar with the book.

I agree. The book is great for a very motivated high school student. Category theory could be taught much, much earlier.

If you found Conceptional Mathematics slow pace, then Epps may be a bit of a bore for you. Rosen is a step above Epp (Epp is very good for those new to mathematics/proofs though) and I suspect pic in OP is also rigorous since Knuth's name is associated to it.

Oregon's lectures are hard to follow if you don't already have a background in PLT. I think the category theory videos are the easiest to follow though, the ones I saw seem to follow: amazon.com/Category-Theory-Oxford-Logic-Guides/dp/0199237182

I still standby the opinion that Bartosz Milewski has the most accessible lecture videos to Category theory. His pacing is much slower than Oregon's lectures (but Oregon's lectures are condensed due to it being a summer program).

A computability theory classic is Boolos' (3rd edition) and relevant chapters from Sipser are good. I'd also recommend amazon.com/Computability-Theory-Student-Mathematical-Library/dp/082187392X but haven't really checked that one out yet.

Boolos' exposure to computability is my favorite.

What books would guys recommend for getting started with proofs?

EECS 70

>What proofs are you doing?
Baby's first math course
>tfw can't be bothered to fix my awful font rendering

>CS and programming are Sup Forums

No. Sup Forums now is smart phones, Terry Davis and GNU/autism

Been trying to establish equivalence between two ABNF grammars in Isabelle/HOL. Not going too well because I'm really not used to thinking in this way (guessing what's causing something to not be automatically provable is unintuitive)

I have bought concrete math but i can't just fucking start to learn it

what's your current knowledge level?

mit 18.06

good shit

who /babby rudin/ here?

;^)

Soon my friend. Very soon.

Is is necessary to master calculus to learn ML? I'm familiar with basic differentiation and integration. Is that enough?

>not reading papa rudin directly

>not linear algebra by kunze

I did that as an undergrad, of course

Studying stability and QM right now

lmao

who /unemployedmathmajor/ here?

Me soon

going through euclid's elements, its very beautiful

Get a quant job, easy high six figure a year

Epp discrete math

opinions?

>math
>science
Are you stupid?

Finishing up Gödel, Escher, Bach and loving it

Could anyone recommend books like it? It was my first non-school related math book

Math is stupid
I hate it

bullshit
this

Vaping threads are insta-banned but math is a okay? Cancer

> > > >

Anyone else studing Theory of Computation? Computability in particular?

Applied science, motherfucker.

Not /sci/.
You can see how much sci gives a fuck about mathematics by the complete lack of filtered and selected literature and resources that should encompass the subject on their wiki.

Hell, you can ask for math books there and
nobody will provide and instead point to a wiki,
unaware that the wiki lacks it.
That should explain a few things for you.

t. retard

bullied on Sup Forums because they are too stupid to understand it

bullied on /sci/ because that shit is too easy

Nice b8

>>/sci/8761147

You are missing one arrow you dumb retard.

FUCK

People call me reddit, because I spacing and as far as I remember spacing long post wast always a thing on non edgeboards like Sup Forums, looks like retards flooded everyboard
Sup Forums sends me to /sci/ because I want to discuss discrete math.

4chin did not handle its own popularity

Somebody nuke this place

Somebody could advice some books/path

I am doing Discrete math by epp atm + cormen algorithms.

I am self taught and just want to dig deeper.

Learn some QM and then get started on this

working through this bitch

I thought that TAOCP is more like repository/wiki.

I have such a strong urge to download all of this, "mega pack" type torrents filled with information I can't hope to absorb within my lifetime are like a fucking fetish for me.

>/sci/ - math and science

bumperino

I wonder if mathfags are per definition better at compsci than 'pure' compscifags without formal math background.

After all I've read/learned (3rd year student) I think math students should have the edge regarding understand new materials and algorithms and proofs, while csfags are generally better programmers (not like that's hard anyway).

if my assertion is right, that mathematicians produce better cs fags, then why isn't the curriculum much more math heavy (i know curriculi vary per uni).

I dont know why ppl get into compsci when they dont like math.

you fucking moron

It's LITERALLY the math science board. Jesus Christ.

>I wonder if mathfags are per definition better at compsci than 'pure' compscifags without formal math background.

yes they are, thats why there is so many good programmers with phd in math or physic.

You have to understand that CS derive from math.

Everything in CS is based on math at the bottom.

Sure you do not have to know any math to code webfroms in java because there are several layers of abstraction over math that is at the bottom.

For example, if you know math and you will decide to focus on cs related field like networks you will understand math behind routing protocols and this knowledge will allow you to be one of top.

Thats why the best companies you have to solve math related and algos stuff.

You do not have to know everything but if you are good at math it means that you are capable to learn anything in cs in short time.

Mathfags can just easily learn cs related stuff with few evenings.

read also:

LMAO
>The worst thing however are the people going for such a degree. Out of all degrees CS seems to attract the most anti-intellectual scum. I seriously wonder how these people even managed to enter university. Every retard who barely passed high school and spends most of his day playing video games seems to think the must study CS. There are socially inept neckbeards of the retarded variety, hating and repeatedly failing math as well as the most simple programming assignments.

>if my assertion is right, that mathematicians produce better cs fags, then why isn't the curriculum much more math heavy (i know curriculi vary per uni).
>I dont know why ppl get into compsci when they dont like math.

Majority of cs students are:
>neckbeards from Sup Forums that wasted their whole life on playing games and its was obvious step to start cs because they are good at "pc"
>people who want to be codemonkeys

>if my assertion is right, that mathematicians produce better cs fags, then why isn't the curriculum much more math heavy (i know curriculi vary per uni).

The full path would be, to do maths as a foundation (say 3-year course), and then specialise on a subset of maths, like cs, for an extra 2 years.

For time economy though, there exist deprecate CS courses, that cover the bare minimum of maths and CS, in 3 years combined.

>TL;DR mathfags are better at CS, not because they're smarter, but because they've spent more time studying it

>deprecate CS courses
*separate

Freudian slip

>Computer science isn't technology

Trying to take the derivative of the loss function related to the negative logarithm of softmax probability for ml class but I can't because I'm retarded.

>or website to take me from algebra to the advanced shit
Try Khanacademy.

Not him but I tried khan academy years ago and had a really hard time following the lecture. I need to learn calculus to do anything really fun programming-wise, however.

Can anyone vouch for it? Is their Android app any good?