- Inlägg: 12867
- Du är här:
- Hem
- Forum
- Viska
- Från Media
- käka blommor?
Jag visste att det skulle komma! Paranoia för otrohet...
Anchored in Christ ✟
He, he :rotfl Tidigare var jag nog det till en viss gräns! Men jag valde det asketiska livet för mer än trettio år sedan? Nu plötsligt vara trogen sin nästa, det är hårt arbete som krävs för att få det att funka! Men även kärleken har sin gräns!
Nä, ingen fara!zoidar skrev: Har ditt förhållade tagit slut Jocke, tråkigt i så fall.
Nissegossen skrev: Jag vägrar tro att kvantteorin och relativitetsteorin existerar oberoende av varandra?
Om du får astronomiska tal, blicka ut i Universum, du finner svaret där
x+y= g*kmh/p
Nu får ni kanske grubbla lite?
Från min morgontidning! Ja, jag ser samband överallt!
Vars är världen på väg?
en.wikipedia.org/wiki/Graham%27s_number
Eller...
.The formal definition of the number uses the following second-order formula, where [φ] is a Gödel-coded formula and s is a variable assignment:[5]
∀R {
{for any (coded) formula [ψ] and any variable assignment t
(R( [ψ],t) ↔
( ([ψ] = `x_i ∈ x_j' ∧ t(x_1) ∈ t(x_j)) ∨
([ψ] = `x_i = x_j' ∧ t(x_1) = t(x_j)) ∨
([ψ] = `(∼θ)' ∧ ∼R([θ],t)) ∨
([ψ] = `(θ∧ξ)' ∧ R([θ],t) ∧ R([ξ],t)) ∨
([ψ] = `∃x_i (θ)' and, for some an xi-variant t' of t, R([θ],t'))
)} →
R([φ],s)}
Given this formula, Rayo's number is defined as:[5]
The smallest number bigger than every finite number m with the following property: there is a formula φ(x1) in the language of first-order set-theory (as presented in the definition of `Sat') with less than a googol symbols and x1 as its only free variable such that: (a) there is a variable assignment s assigning m to x1 such that Sat([φ(x1)],s), and (b) for any variable assignment t, if Sat([φ(x1)],t), then t assigns m to x1
en.wikipedia.org/wiki/Rayo%27s_number