deniok

From:

Ну Y это средоточие всех тайн и загадок. Держи:

Теорема 1. Для любого терма F существует терм X, такой что

FX = X

Этот X мудрецы зовут неподвижной точкой.
Доказательство: Введём

G = \x.F(xx)

тогда искомая неподвижная точка

X = GG

Воистину, это так

X = GG 
  = (\x.F(xx))(\x.F(xx)) 
  = F((\x.F(xx))(\x.F(xx))) 
  = F(GG)
  = FX

From:

Anonymous This account has disabled anonymous posting.

OpenID

Dreamwidth account

If you don't have an account you can create one now.

Subject

HTML doesn't work in the subject.

Formatting type

Message

Profile

deniok

No cut tags

Page generated Jun. 8th, 2025 07:27 am