Does anyone here have recommendations? Ideally with a certificate or something at the end of it as well, but if that's not possible that's fine, too.
It does not have to be free, I would be willing to pay for the course. (It does not even have to be cheap. For multiple good courses in metamathematics & logic with certificate from a good uni I am willing to pay $5000)
The course has to be in English or German
I have been getting into the philosophy of mathematics lately, and I am having trouble distinguishing the logicism of the logical positivists and people like Russell and Whitehead from David Hilbert's formalism. As far as I can tell, their positions are very similar. Both views take mathematical truth to be purely syntactic, and about all I have been able find in the way of disagreements is that Hilbert thought that Russell/Frege's attempt to found mathematics upon second-order logic and set-theory was mistaken.
Is there some other difference, or is that difference more significant than I have realized? I am just beginning to read phil. of math stuff, so any help is appreciated.
Is studying metamathematics helpful to studying mathematics? Is there any use in studying model theory/proof theory, and learning Godel''s proof in detail for a mathematician trying to solve and proof things in mathematics proper?
Hi r/math! I'm looking for a gentle introduction to methamatematics, Gödel's theorem, Gentzen's theorem, what kinds of logics exist (and if there's a hierarchy), what kinds of lambda calculi exist (and if there's a hierarchy), the Curry-Howard isomorphism, the lambda cube...
I know that's a lot, but I'm basically looking for a nice intro to all the cool stuff that happened during the 20th century in the metamathematics field. Bonus points is there's a computer science focus :-)
Any ideas on where I can find that kind of info?
Hi I am seeking some book recommendations on metamathematics especially one that leads to Godel's incompletess theorem. I'm thinking of trying this one: https://www.amazon.com/dp/0923891579/ref=rdr_ext_sb_ti_hist_2 . You guys have any others in mind?
I want to understand Kleene's "Introduction to Metamathematics" for my own purposes. My exposure to math was calculus in high school and the math required for an undergraduate degree in economics (so, not that much). Could anyone familiar with the text tell me what the recommended background for approaching that work ought to be?
Having begun reading it, I don't have an issue with the reasoning, but rather with the terminology he uses to engage with the reasoning. I know these are things I would have acquired over the course of an education in mathematics, but I would like to have a convenient resource to enable me to approach this work, if one exists.
Do your worst!
It really does, I swear!
For context I'm a Refuse Driver (Garbage man) & today I was on food waste. After I'd tipped I was checking the wagon for any defects when I spotted a lone pea balanced on the lifts.
I said "hey look, an escaPEA"
No one near me but it didn't half make me laugh for a good hour or so!
Edit: I can't believe how much this has blown up. Thank you everyone I've had a blast reading through the replies 😂
They’re on standbi
Buenosdillas
Pilot on me!!
Dad jokes are supposed to be jokes you can tell a kid and they will understand it and find it funny.
This sub is mostly just NSFW puns now.
If it needs a NSFW tag it's not a dad joke. There should just be a NSFW puns subreddit for that.
Edit* I'm not replying any longer and turning off notifications but to all those that say "no one cares", there sure are a lot of you arguing about it. Maybe I'm wrong but you people don't need to be rude about it. If you really don't care, don't comment.
What did 0 say to 8 ?
" Nice Belt "
So What did 3 say to 8 ?
" Hey, you two stop making out "
When I got home, they were still there.
I won't be doing that today!
You take away their little brooms
This morning, my 4 year old daughter.
Daughter: I'm hungry
Me: nerves building, smile widening
Me: Hi hungry, I'm dad.
She had no idea what was going on but I finally did it.
Thank you all for listening.
There hasn't been a post all year!
Is studying metamathematics helpful to studying mathematics? Is there any use in studying model theory/proof theory, and learning Godel''s proof in detail for a mathematician trying to solve and proof things in mathematics proper?
