Fun Stuff > CHATTER
Can't Think of a Breaking Bad Pun For the Title: Let's Do Some Math!
Loki:
So, just wondering, anyone here got any familiarity with first-order-logic?
Carl-E:
I know I took two semesters of logic, up through Godel's theorems, but that was back in the late 80's. As for what I actually remember... well, let's see the question before I commit!
bainidhe_dub:
--- Quote from: Carl-E on 11 Aug 2014, 16:32 ---In other words, it's not the exponents that needed handling. It needed to be broken down into components in order to be solved.
--- End quote ---
Got it, that makes sense. It could also be written as 2x - x = x(2 - 1). I remember fucking nothing of how to do math. How to multiply fractions?? Simplify quadratics?? What all the letters in SohCahToa stand for?? Ugh.
Robert is starting at community college this fall and we were trying to remember/learn how to do things for the placement test. He took the test last week and missed the "start out in a for-credit class instead of remedial" score by 2 points, so we spent a while on trig functions, and then there was only 1 trig question when he retook it today. *shrug* We'll see. There's no benefit in taking a class he's not prepared for, but spending a semester in a class that won't count in the end - because of two points - would suck.
Loki:
--- Quote from: Carl-E on 11 Aug 2014, 16:43 ---I know I took two semesters of logic, up through Godel's theorems, but that was back in the late 80's. As for what I actually remember... well, let's see the question before I commit!
--- End quote ---
Oh, I have no question at the moment - I just constantly hear the claim that barely any university outside of mine (at least in Germany) does mathematical logic as mandatory part of the curriculum. Thought I'd check if that was true. In case you are interested, the contents of the course are, roughly in that order:
* intro to Boolean logic
* completeness theorem for BL
* Horn formulas
* sequence calculus in BL
* compactness theorem for BL
* intro to first-order logic (FO)
* (finite and non-finite) axiomatization of structures in FO
* model-checking games
* theories (a thing so obscure there seems to be no definition of it on Wikipedia)
* Ehrenfeucht-Fraisse games
* sequence calculus in FO
* completeness theorem in FO
* compactness theorem in FO
Carl-E:
--- Quote from: Loki on 11 Aug 2014, 23:17 ---
--- Quote from: Carl-E on 11 Aug 2014, 16:43 ---I know I took two semesters of logic, up through Godel's theorems, but that was back in the late 80's. As for what I actually remember... well, let's see the question before I commit!
--- End quote ---
Oh, I have no question at the moment - I just constantly hear the claim that barely any university outside of mine (at least in Germany) does mathematical logic as mandatory part of the curriculum. Thought I'd check if that was true. In case you are interested, the contents of the course are, roughly in that order:
* intro to Boolean logic
* completeness theorem for BL
* Horn formulas
* sequence calculus in BL
* compactness theorem for BL
* intro to first-order logic (FO)
* (finite and non-finite) axiomatization of structures in FO
* model-checking games
* theories (a thing so obscure there seems to be no definition of it on Wikipedia)
* Ehrenfeucht-Fraisse games
* sequence calculus in FO
* completeness theorem in FO
* compactness theorem in FO
--- End quote ---
:laugh: :laugh: :laugh: :laugh: :laugh: not a goddamn thing there sounds familiar :laugh: :laugh: :laugh: :laugh: :roll:
OK, one or two of the first few topics.
Seriously, Math in the states, even at the graduate level vs. math in Germany is like a little kid trying to arm wrestle with The Hulk.
Navigation
[0] Message Index
[#] Next page
[*] Previous page
Go to full version