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

### NY Lost Funds

 Kasadkad yi: is d just the gcd? maphive I've already shown that there is an undecidable sentence using abacus machines yi Kasadkad: that's what i think TRWBW yi: yes, gcd yi errit seems to simplebecause this problem has 5 parts TRWBW yi: that's the whole point yi and i've already calculated the gcd for all 5... maphive but now I'm trying to prove the godel sentence G: ~(forall(V))~(Proof(v,n)) yi well, gcd(x^3-6x+7, x+4) = 1 TRWBW maphive: i'm not even sure the godel understood that proof. maphive yeah I know :| yi so you are saying the ideal is generated by the unit element ?but then the ideal is everything TRWBW maphive: i'll say it again, if your goal is just to prove/understand incompleteness, i'd recommend a computational approach. halting problem or lambda calculusyi: well yes. any polynomial in that case can be written in that form maphive TRWBW: Sadly that's not my goal, this is an assignment for class TRWBW maphive: may god have mercy on your soul maphive our professor also dangled in front of us the fact that you can express g in 8 symbols in MathEnglish TRWBW maphive: math education has a certain element of hazing to it. why else would people have to memorize trig integral formula.s yi what is MathEnglish? maphive the general descriptive level you do proofs in in mathematicsif you speak english :P hefty % D[(x + 2)^(x + 2), x] mbot hefty: (2 + x)^(2 + x)*(1 + Log[2 + x]) TRWBW yi: formal symbolic math, the language that angels speak, some would say. JIMJONESBALLIN TRWBW, indeed. webito Hi piro_ hi JIMJONESBALLIN Hello. Welcome. anubiss thanks for your help mrs. :) webito can 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 Manyfold so is math only for ppl speaking english? hefty lolBALLIN TRWBW Manyfold: well technically, it goes german, french, yiddish, greek, then english. but all one happy family.