Zur Deutung der intuitionistischen Logik
Théorème: Si f(θ) est une fonction sommable, si de plus f(ρ,θ)=1/(2π) ∫_(-π}^(+π) f(α) (1-ρ^2)/(1+ρ^2-2ρ cos(α-θ))dα, alors, z tendant vers e^(iθ) le long d'un chemin quelconque non tangent à la circonférence, la fonction harmonique g(z) conjuguée à f(z) tend pour presque toutes les valeurs de θ vers une limite déterminée g(θ)= - 1/(2π) ∫_(-π}^(+π) f(θ+α)/tg((α)/2)dα, l'integrale etant comprise comme lim_(ϵ → 0) ∫_(-π)^(+ϵ)∫_(-ϵ)^(+π). Le but de cette note est de démontrer que la fonction |g(θ)|^(1-ϵ)...
Page 1