21122002 not mine but quotation

Yet, in principle, computers cannot be asked to discover proofs, except in very restricted areas of mathematics–such as elementary Euclidean geometry–where the set of theorems happens to be recursive, as was proved by Tarski.

… the prime number theorem was first suggested as the result of extensive hand calculations on the prime numbers up to 3,000,000 by the Swiss mathematician Leonhard Euler (1707-83), a process that would have been greatly facilitated by the availability of a modern computer.

Thus Godel was able to assert that the set of theorems of mathematics is recursively enumerable, and, more recently, the American linguist Noam Chomsky (b. 1928) could say that the set of grammatical sentences of a natural language, such as English, is recursively enumerable.

Godel’s incompleteness theorem is that the consistency of mathematics can be proved only in a language which is stronger than the language of mathematics itself. Yet, formalism is not dead- …

— Encyclopædia Britannica

.

.

2022.10.13 Thursday ACHK

The preceding illustrates, simply but clearly, one of the proclivities that are often associated with mathematical thought: relatively simple concepts (such as integers), initially based on very concrete operations (for example, counting), are found to be capable of assuming novel meanings and potential uses, extending far beyond the limits of the concept as originally defined.

— Encyclopædia Britannica

— 31.12.2002

.

.

2022.09.27 Tuesday ACHK

~~~

... 中化口試
巴士：11X

~~~

10k trimmer pot: 7.31k

~~~

3150, 4260: Samuel

3170: Danny, 達
3260: Dennis

~~~

.

.

2022.08.29 Monday (c) All rights reserved by ACHK

~~~

砌摩打

~~~

Design:
1: make car moving
2: make car stop itself
3: follow the track
4: change direction
5: tuning

~~~

CSCI3420 Project Phase 2

Deadline: 23:59

~~~

.

.

2022.08.03 Wednesday (c) All rights reserved by ACHK

~~~

ENGG 2011 - Advanced Engineering Maths - Assignment 1

~~~

C++: function(...)
            Many argument[s]

~~~

C++: mid-term test (31/10/2011)

~~~

.

.

2022.07.21 Thursday (c) All rights reserved by ACHK

ELEG 1110 – Basic Circuit Theory – Assignment 1

Due Date: 27/9/2011 (Tue)

Please submit your assignments in the collection box before the due time.

Please do not send soft copy to Prof. Choy or tutors.

The collection box is located on 3rd floor of Ho Sin Hang building, near room 321.

Please pay attention to submit the assignment to the collection box located at the second row, not the distribution box in the first row.

.

.

2022.07.06 Wednesday ACHK

1 photo
HK$10

— ~2011

.

.

2022.06.22 Wednesday (c) All rights reserved by ACHK

CPU: Core 2 Duo 3.2 GHz / Core-I series
GPU: GeForce 9600 GT
2GB RAM

.

.

2022.06.03 Friday ACHK

Time: 9:30am-12:30pm ([T]hursday)

Venue: SHB123

— ~ 2011

.

.

2022.06.03 Friday ACHK

Remember, whatever you do, your life does not feel right, even when it does.

— Me@2015-08-10 10:33:53 AM

.

.

2022.02.19 Saturday (c) All rights reserved by ACHK

The calendar items are action triggers, not action plans, nor procedures.

— Me@2015-11-23 01:39:39 PM

.

.

2022.02.13 Sunday (c) All rights reserved by ACHK