#math - Tue 20 Feb 2007 between 23:44 and 23:58

NY Lost Funds



Kasadkadyi: is d just the gcd?
maphiveI've already shown that there is an undecidable sentence using abacus machines
yiKasadkad: that's what i think
TRWBWyi: yes, gcd
yierr
it seems to simple
because this problem has 5 parts
TRWBWyi: that's the whole point
yiand i've already calculated the gcd for all 5...
maphivebut now I'm trying to prove the godel sentence G: ~(forall(V))~(Proof(v,n))
yiwell, gcd(x^3-6x+7, x+4) = 1
TRWBWmaphive: i'm not even sure the godel understood that proof.
maphiveyeah I know :|
yiso you are saying the ideal is generated by the unit element ?
but then the ideal is everything
TRWBWmaphive: i'll say it again, if your goal is just to prove/understand incompleteness, i'd recommend a computational approach. halting problem or lambda calculus
yi: well yes. any polynomial in that case can be written in that form
maphiveTRWBW: Sadly that's not my goal, this is an assignment for class
TRWBWmaphive: may god have mercy on your soul
maphiveour professor also dangled in front of us the fact that you can express g in 8 symbols in MathEnglish
TRWBWmaphive: math education has a certain element of hazing to it. why else would people have to memorize trig integral formula.s
yiwhat is MathEnglish?
maphivethe general descriptive level you do proofs in in mathematics
if you speak english :P
hefty% D[(x + 2)^(x + 2), x]
mbothefty: (2 + x)^(2 + x)*(1 + Log[2 + x])
TRWBWyi: formal symbolic math, the language that angels speak, some would say.
JIMJONESBALLINTRWBW, indeed.
webitoHi
piro_hi
JIMJONESBALLINHello. Welcome.
anubissthanks for your help mrs. :)
webitocan somebody help me to solve this diff. eq. cm/k_t * d^3y/dt^3 + m*d^2y/dt^2(k_s/k_t+1) + c*dy/dt + k_s*y=0
Manyfoldso is math only for ppl speaking english?
heftylol
BALLIN
TRWBWManyfold: well technically, it goes german, french, yiddish, greek, then english. but all one happy family.

Page: 5 12 19 26 33 40 47 54 61 68 

IrcArchive

NY Lost Funds