類的概念的歷史之2 近代數學的探索

2021-06-18 04:23:42 字數 855 閱讀 6606

現在計算機所採用的一些概念可以合理地追溯到布林(george boole)和弗雷格包括羅素等人的數學探索。羅素有乙個說法很有代表性:

值得注意的是,在弗雷格以前,大家所提出的一切數的定義都含有基本的邏輯錯誤。照慣例總是把「數」和「多元」當成一回事。但是,「數」的具體例項是乙個特指的數,譬如說3,而3的具體例項則是乙個特指的三元組。三元組是乙個多元,但是一切三元組所成的類——弗雷格認為那就是3這個數本身——是由一些多元組成的乙個多元,而以3為其一例項的一般的數,則是由一些多元組成的一些多元所組成的乙個多元。由於把這個多元與乙個已知的三元組的簡單多元混淆起來,犯了這種基本的語法錯誤,結果弗雷格以前的全部數的哲學成了連篇廢話,是最嚴格意義上的「廢話」。

——《西方哲學史》下冊,390-391頁,原著858-859頁。

前面羅素所說的數,比如整數,很明顯相當於計算機中的基本資料型別。

那麼物件導向程式設計中的類和基本資料型別是什麼關係呢?

至少有這麼幾個層次的關係:

1、基本資料型別;這是基本層次,不用多說。

2、自定義資料型別:是基本資料型別的擴充套件。

比如我自定義乙個型別,不過是用c#寫的,當然我這個不能說是在基本資料型別基礎上寫的,而是在一些現成的型別基礎上,

class soob : object

3、抽象資料型別:是包含了操作定義的使用者自定義資料型別,大約在2023年代產生。

class soob : object

//可以定義乙個函式或過程}

4、類實際上很多方面是抽象資料型別的描述,它們的例項稱為物件。類是抽象資料型別的擴充套件,類具有繼承性,封裝性,類可以只由過程定義構成。

個人思考的筆記,僅供參考。

現代數學的引路人

引路人 guide 就是嚮導 或指導 人的意思。現代數學門類繁多,錯綜複雜,特別需要有乙個引路人,以便不致於迷失方向。現代數學的引路人就是集合論 set theory 的奠基人,德國數學家康托爾 georg cantor 1845 1918 為什麼這麼說?自古以來,數學是一門關於計算的學問,離開計算...

微積分是現代數學大廈的大門廳

大家知道,進入大廈必須首先跨入大廈的門廳,別無他途。空集 是數學大廈的看門人。任何進入數學大廈的人必須與空集 打招呼 空集 裡面沒有任何元素,所以,空集 也可表示為 集合的數學符號 裡面什麼元素也沒有。在現代數學中,數字 0一般定義為空集 雖然空集 本身不是數字 0。由此,數字 1定義為 數字2 定...

讀後感 《魔鬼數學 大資料時代,數學思維的力量》

這是在學習數學看的第一本科普類數學書,大概記錄了一下看每章的讀後感,記錄一下。第一章第一部分簡單的講解了線性模型,泰勒展開,線性回歸,大數定理以及負數等等概念 用一些實際生活中的例子來幫助讀者理解這些概念,以及為什麼數學家會從實際生活中抽象出這些概念。第二章這一章有點晦澀,主要介紹了假設檢驗及其侷限...