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 | err it seems to simple because 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 calculus yi: 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 mathematics if 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 | lol BALLIN |

TRWBW | Manyfold: well technically, it goes german, french, yiddish, greek, then english. but all one happy family. |