Newsgroup:
aus.science
Add New Display Options
8
replies
"BIGGER THAN INFINITE SETS!" = "INDISPUTABLE!" says SCI.MATH
started 2012-01-21 09:47:29 UTC
2012-01-23 18:47:14 UTC
Don Stockbauer
1
reply
{n | n ~e f(n)} <<-- sci.math can't get a BIJECTION!
started 2012-01-20 04:55:02 UTC
2012-01-22 03:40:08 UTC
Graham Cooper
8
replies
Eliminating Quantifiers For Dummies! A(x) E(y) ALL(t)EXIST(u)EaAb ..
started 2012-01-16 10:29:11 UTC
2012-01-21 20:35:46 UTC
Jesse F. Hughes
5
replies
The Asymptote to BUSYBEAVER() is Computable!
started 2012-01-20 13:40:04 UTC
2012-01-21 17:21:59 UTC
Graham Cooper
2
replies
CANTORS POWERSET THEOREM
started 2012-01-20 07:16:24 UTC
2012-01-20 13:00:06 UTC
Graham Cooper
2
replies
RFD: NEWGROUP PROPOSAL .... sci.math.diagonal.flippers !!
started 2012-01-19 11:53:18 UTC
2012-01-19 17:20:20 UTC
Tonico
1
reply
WHY do you think crossing all the digits down the diagonal proves BIGGER THAN INFINITY?
started 2012-01-19 03:29:04 UTC
2012-01-19 03:56:43 UTC
Don Stockbauer
1
reply
ALEPH_n is NOT FORMALLY PROVABLE for n=2,3,4..
started 2012-01-18 19:29:02 UTC
2012-01-18 21:25:24 UTC
Tonico
9
replies
Diagonalization with pages
started 2012-01-15 15:39:24 UTC
2012-01-18 18:44:48 UTC
Tonico
3
replies
size(N) = Infinity
started 2012-01-17 11:25:25 UTC
2012-01-18 16:01:16 UTC
DonH
1
reply
WHAT IF I gave you 1 INFINITE LIST of INFINITELY MANY INFINITE LISTS of R!
started 2012-01-06 14:46:59 UTC
2012-01-06 20:09:51 UTC
Don Stockbauer
6
replies
DEFn of U in ZFC!
started 2012-01-05 11:18:38 UTC
2012-01-06 15:13:12 UTC
Graham Cooper
4
replies
2^N is COUNTABLE using Fractal Enumeration
started 2012-01-06 00:19:31 UTC
2012-01-06 04:45:52 UTC
Graham Cooper
19
replies
Eliminating Quantifiers For Dummies! A(x) E(y) ALL(t) EXIST(u) Ea Ab ..
started 2012-01-03 02:40:12 UTC
2012-01-04 12:38:56 UTC
Dan Christensen
7
replies
TRANSFINITE would be very weak if there was an alternate theory
started 2012-01-04 02:59:04 UTC
2012-01-04 11:20:26 UTC
Graham Cooper
2
replies
I WILL BET ANYONE AT CLAY MATH $100 PAYPAL THAT I CAN COMPUTE HALT-OMEGA!
started 2012-01-03 04:53:46 UTC
2012-01-03 12:43:11 UTC
Graham Cooper
5
replies
A (messy) counter-take on the diagonal argument
started 2012-01-02 01:28:37 UTC
2012-01-03 00:49:41 UTC
Graham Cooper
5
replies
The Bizarre Conclusion... TRANSFINITY > INFINITY
started 2011-12-31 10:02:54 UTC
2012-01-02 19:43:14 UTC
Don Stockbauer
1
reply
AXIOM OF PROVABILITY
started 2011-12-31 08:18:56 UTC
2012-01-01 17:01:33 UTC
DonH
4
replies
AATU denies to comment!
started 2011-12-30 13:35:59 UTC
2012-01-01 16:44:18 UTC
DonH
1
reply
Limit of Binary Lists
started 2011-12-30 07:01:44 UTC
2011-12-30 09:51:58 UTC
Raymond Yohros
1
reply
An Alternate Model for the Reals
started 2011-12-05 02:57:16 UTC
2011-12-06 11:41:25 UTC
Rupert
4
replies
OUTRIGHT FUCKING LYING IDIOTS ALL OF YOU!
started 2011-11-30 11:19:28 UTC
2011-12-02 23:44:29 UTC
Graham Cooper
13
replies
Cantors diagonal proof DOESN'T ACTUALLY DO ANYTHING
started 2011-11-30 06:38:43 UTC
2011-12-02 22:39:44 UTC
Graham Cooper
2
replies
Your SET THEORY is a 2KB toy with 20 GB of CRAP WRITTEN ON IT
started 2011-12-01 18:27:36 UTC
2011-12-02 05:05:48 UTC
p***@my-deja.com
15
replies
A Defn of LARGE_INFINITE_LISTS
started 2011-11-05 06:54:17 UTC
2011-12-01 09:29:28 UTC
JustSayin
12
replies
A Non-Row Diagonal
started 2011-11-27 04:07:30 UTC
2011-11-29 17:54:31 UTC
Phil Carmody
2
replies
Given *ANY* List of Reals we can construct a real that is missing from that list!
started 2011-11-29 03:58:24 UTC
2011-11-29 07:49:54 UTC
Graham Cooper
8
replies
2nd Proof: AXIOM OCL -> SET(DIAGONALS) = SET(ANTI-DIAGONALS)
started 2011-11-27 13:26:10 UTC
2011-11-28 10:56:13 UTC
Graham Cooper
6
replies
A "WEAK DIAGONAL" - A WEAKER VERSION OF CANTOR'S PROOF
started 2011-11-26 02:05:07 UTC
2011-11-26 09:38:08 UTC
Graham Cooper
Click to Load More...
Loading...