1755年，瑞士數(shù)學(xué)家歐拉把函數(shù)定義為：“如果某些變量，以某一種方式依賴于另一些變量，即當(dāng)后面這些變量變化時，前面這些變量也隨著變化，我們把前面的變量稱為后面變量的函數(shù).”在歐拉的定義中，就不強調(diào)函數(shù)要用公式表示了.由于函數(shù)不一定要用公式來表示，歐拉曾把畫在坐標(biāo)系的曲線也叫函數(shù).他認(rèn)為：“函數(shù)是隨意畫出的一條曲線.”

　　當(dāng)時有些數(shù)學(xué)家對于不用公式來表示函數(shù)感到很不習(xí)慣，有的數(shù)學(xué)家甚至抱懷疑態(tài)度.他們把能用公式表示的函數(shù)叫“真函數(shù)”，把不能用公式表示的函數(shù)叫“假函數(shù)”.1821年，法國數(shù)學(xué)家柯西給出了類似現(xiàn)在中學(xué)課本的函數(shù)定義：“在某些變數(shù)間存在著一定的關(guān)系，當(dāng)一經(jīng)給定其中某一變數(shù)的值，其他變數(shù)的值可隨著而確定時，則將最初的變數(shù)叫自變量，其他各變數(shù)叫做函數(shù).”在柯西的定義中，首先出現(xiàn)了自變量一詞.

　　1834年，俄國數(shù)學(xué)家羅巴契夫斯基進一步提出函數(shù)的定義：“x的函數(shù)是這樣的一個數(shù)，它對于每一個x都有確定的值，并且隨著x一起變化.函數(shù)值可以由解析式給出，也可以由一個條件給出，這個條件提供了一種尋求全部對應(yīng)值的方法.函數(shù)的這種依賴關(guān)系可以存在，但仍然是未知的.”這個定義指出了對應(yīng)關(guān)系(條件)的必要性，利用這個關(guān)系，可以來求出每一個x的對應(yīng)值.

　　1837年，德國數(shù)學(xué)家狄里克雷認(rèn)為怎樣去建立x與y之間的對應(yīng)關(guān)系是無關(guān)緊要的，所以他的定義是：“如果對于x的每一個值，y總有一個完全確定的值與之對應(yīng)，則y是x的函數(shù).”這個定義抓住了概念的本質(zhì)屬性，變量y稱為x的函數(shù)，只需有一個法則存在，使得這個函數(shù)取值范圍中的每一個值，有一個確定的y值和它對應(yīng)就行了，不管這個法則是公式或圖象或表格或其他形式.這個定義比前面的定義帶有普遍性，為理論研究和實際應(yīng)用提供了方便.因此，這個定義曾被比較長期的使用著.

　　自從德國數(shù)學(xué)家康托爾的集合論被大家接受后，用集合對應(yīng)關(guān)系來定義函數(shù)概念就是現(xiàn)在中學(xué)課本里用的了.

　　中文數(shù)學(xué)書上使用的“函數(shù)”一詞是轉(zhuǎn)譯詞.是我國清代數(shù)學(xué)家李善蘭在翻譯《代數(shù)學(xué)》(1895年)一書時，把“function”譯成“函數(shù)”的.中國古代“函”字與“含”字通用，都有著“包含”的意思.李善蘭給出的定義是：“凡式中含天，為天之函數(shù).”中國古代用天、地、人、物4個字來表示4個不同的未知數(shù)或變量.這個定義的含義是：“凡是公式中含有變量x，則該式子叫做x的函數(shù).”所以“函數(shù)”是指公式里含有變量的意思.