见常微分方程初值问题数值解法。...[继续阅读]

    美籍波兰数学家。1904年10月20日生于波兰布雷斯劳（现称弗罗茨瓦夫）。1926年获德国格丁根大学博士学位，后在该校任教。1933年去美国任布朗大学副教授，1937年起在伯克利加州大学任教授，直至1972年退休。他为偏微分方程及其应...[继续阅读]

    见悖论。...[继续阅读]

    用形式化方法处理逻辑推理，特别是数学中所用推理。由于形式化了的推理过程与代数演算具有相似性,故也称之为逻辑演算。这类推理的正确性仅依赖于它们的形式,而与内容无关,例如三段论法。在这里，概念、推理等被分解为最...[继续阅读]

    见数学基础。...[继续阅读]

    中国清初天文学家、数学家。字定九,号勿庵,安徽宣城人。生于明崇祯六年，卒于清康熙六十年。少年时从私塾老师罗王宾学习天文知识，27岁跟随倪正学习大统历。1675年以后专心致力于天文数学的研究。1679年曾在臬台金长真幕下...[继续阅读]

    奥地利数学家和空气动力学家。1883年4月19日生于奥地利的莱姆伯格（今苏联的里沃夫）,1953年7月14日在美国波士顿去世。父亲是一名铁路技师，长兄是一位经济学家。他于1907年在维也纳获得博士学位后，曾先后在斯特拉斯堡大学和...[继续阅读]

    见解析函数项级数。...[继续阅读]

    见积分不等式。...[继续阅读]

    见命题逻辑。...[继续阅读]