見常微分方程初值問題數值解法。...[繼續閱讀]

    美籍波蘭數學家。1904年10月20日生于波蘭布雷斯勞（現稱弗羅茨瓦夫）。1926年獲德國格丁根大學博士學位，后在該校任教。1933年去美國任布朗大學副教授，1937年起在伯克利加州大學任教授，直至1972年退休。他為偏微分方程及其應...[繼續閱讀]

    見悖論。...[繼續閱讀]

    用形式化方法處理邏輯推理，特別是數學中所用推理。由于形式化了的推理過程與代數演算具有相似性,故也稱之為邏輯演算。這類推理的正確性僅依賴于它們的形式,而與內容無關,例如三段論法。在這里，概念、推理等被分解為最...[繼續閱讀]

    見數學基礎。...[繼續閱讀]

    中國清初天文學家、數學家。字定九,號勿庵,安徽宣城人。生于明崇禎六年，卒于清康熙六十年。少年時從私塾老師羅王賓學習天文知識，27歲跟隨倪正學習大統歷。1675年以后專心致力于天文數學的研究。1679年曾在臬臺金長真幕下...[繼續閱讀]

    奧地利數學家和空氣動力學家。1883年4月19日生于奧地利的萊姆伯格（今蘇聯的里沃夫）,1953年7月14日在美國波士頓去世。父親是一名鐵路技師，長兄是一位經濟學家。他于1907年在維也納獲得博士學位后，曾先后在斯特拉斯堡大學和...[繼續閱讀]

    見解析函數項級數。...[繼續閱讀]

    見積分不等式。...[繼續閱讀]

    見命題邏輯。...[繼續閱讀]