Alfred Tarski, 3

The undefinability theorem shows that this encoding cannot be done for semantic concepts such as truth. It shows that no sufficiently rich interpreted language can represent its own semantics. A corollary is that any metalanguage capable of expressing the semantics of some object language must have expressive power exceeding that of the object language. The metalanguage includes primitive notions, axioms, and rules absent from the object language, so that there are theorems provable in the metalanguage not provable in the object language.

— Wikipedia on Tarski’s undefinability theorem

.

Tarski’s 1969 “Truth and proof” considered both Gödel’s incompleteness theorems and Tarski’s undefinability theorem, and mulled over their consequences for the axiomatic method in mathematics.

— Wikipedia on Alfred Tarski

.

.

2019.07.20 Saturday ACHK

PhD, 3.7.2

碩士 4.7.2 | On Keeping Your Soul, 2.2.7.2

.

(問:根據你的講法,好像大部分情況下,都不應該讀研究院似的。)

在理想的情況下,你可能應該讀研究院。

(問:那樣,你心目中的理想情況是什麼?)

假設你已經有財政自由,你就有可能,適合讀研究院;因為,以前講有關讀研究院的一堆大問題,將會細很多,例如:

  1. 如果你是自資,就即是不拿學校的資助。那樣,你就不是僱員。研究以外的工作,例如做助教等,可以一概不理。

  2. 同理,你的博士導師再不會是,你工作上的上司。反而,你是消費者,他是你的僱員。

(問:怎樣為之「有財政自由」呢?)

即是你當時的積蓄,已足夠你一生人的使用。

(問:那就是即是「退了休」?)

不太一樣。

一來,「退休」通常是指,年紀大時才發生。追求財政自由的人,通常不會計劃,在年老時才財政自由;因為,追求財政自由的主要目的是,不用再每天上班,從而,有足夠的時間,去追求自己的理想。

二來,大有部分人「退休」時的積蓄,其實不夠餘生的使用。亦即是話,他們的財政,其實未有自由。

(問:那就即是話,要在還年青時,就賺到一生夠用的金錢?

為什麼要選擇,那麼難的目標?)

假設,你的理想是要,做一個物理學家。如果沒有財政自由,即使你做了物理學家,你也做不到物理學家。

(問:那麼玄?什麼意思?)

如果要做物理學家,通常的方法是,做物理教授。但是,做了教授後,你會發覺,教授的主要工作,其實是為其研究團隊,爭取研究撥款。

那樣,你只會剩下極少時間,給自己研究物理。

— Me@2019-07-06 10:57:22 PM

.

.

2019.07.10 Wednesday (c) All rights reserved by ACHK