From Newsgroup: sci.logic
On 09/28/2026 11:31 AM, Ross Finlayson wrote:
On 06/07/2015 10:37 AM, Virgil wrote:
In article <1097ef32-62aa-40c5-ad83-6f674814e714@googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:
On Sunday, 7 June 2015 17:54:35 UTC+2, Virgil wrote:
What is incorrect?
I see no proper connection made between
LimSup (M_n) = /\(n = 1 ... oo)[V(k = n ... oo) M_k]
LimInf (M_n) = V(n = 1 ... oo)[/\(k = n ... oo) M_k]
and
Lim{n--> oo} S_n = {s_k | k in |N}}
Then consult better set theorists than you are.
When I have direct evidence that |N can be surjected to Q+,
namely a set of uncountably many functions each of which surjects |N
onto Q, I do not need help to know that any arguments that no such
functions can exist are wrong!
The "invincible ignorance of inductive inference" is also given
to simple accounts the other way, explaining why the results
where deduction is required to be invoked defining super-classical
results, have otherwise these cave-men howling at each other from
their respective caves are both due their troglodicity the sun-shine.
--- Synchronet 3.22a-Linux NewsLink 1.2