Sò͘-lí lô-chek

Sò͘-lí lô-chek (Hàn-jī: 數理邏輯; Eng-gí: Mathematical logic) sī sò͘-ha̍k ê chi̍t ê hun-chi. Kā sò͘-ha̍k siōng ê chèng-bêng kap kè-sǹg chìn-hêng hû-hō-hòa í-āu, tō sán-seng hêng-sek hē-thóng, che tō sī sò͘-lí lô-chek leh gián-kiù ê tùi-siōng, mā sī kui-ê sò͘-ha̍k ki-chhó͘ siong-tong iàu-kín ê sêng-hūn.

Gián-kiù lōe-iông

Sò͘-lí lô-chek ê hun-chi pau-hâm:

1. Kong-lí-hòa chi̍p-ha̍p-lūn
2. Bô͘-hêng-lūn
3. Chèng-bêng-lūn hām sò͘-ha̍k kò͘-sêng chú-gī
4. recursion theory

Koh khòaⁿ

• Lô-chi̍p