/prog/ - Liar Paradox

Name: Anonymous 2010-12-07 10:50

Does "Liar Paradox" requires this crappy Axiom of Infinity, that "for all N there exit N+1 > N"?
Because if you don't believe Axiom of Infinity, then for some theory (or program) N, you can't construct it's Liar structure, as it would require more memory than you have physically.

Of course, jews would say, that without infinity there is no mathematics, but why do we need this jewish tendency toward abstraction and casuistry anyway? Can you show us practical usefulness of your deceptive regilious theories, jews?

Name: Anonymous 2010-12-07 10:51

there exists
self fix

Name: Anonymous 2010-12-07 11:01

>>1
Enjoy living in modulo N.

Name: Anonymous 2010-12-07 11:09

>>3
Enjoy your living under a stone.

And we have this "big-bang theory" now, that states that Universe expands and implodes "modulo N", lol.

Name: JEW 2010-12-07 11:18

>>1
VIPPERS

Name: Anonymous 2010-12-07 11:19

Greeks thought earth was an infinite flat plane and there can be parallel lines. Today every child knows that earth is round, but some "god chosen" jews still believe in parallel infinite long lines.

Name: Anonymous 2010-12-07 11:21

>>1
Can you show us practical usefulness of [infinity]
Everything that has ever used maths? If you discard this axiom, you don't even "believe" in the naturals, so all of mathematics is lost.

Name: Anonymous 2010-12-07 11:29

>>7
>Everything that has ever used maths?
practical usefulness

>If you discard this axiom, you don't even "believe" in the naturals, so all of mathematics is lost.
If you need natural, you're probably doing something, building yet another crazy theory with half-dead cats in perpetual motion.

Name: Anonymous 2010-12-07 11:29

>>8
if you need naturals
self fix

Name: Anonymous 2010-12-07 11:30

>>9
doing somethin wrong
another fix

Name: Anonymous 2010-12-07 11:35

>>10
Just... stop.

Name: Anonymous 2010-12-07 11:48

>>8,9
With what do you replace naturals, with gays?

Name: Anonymous 2010-12-07 11:54

>>8
Calculus is used in many, many applied fields. There's no argument to be had here; unless you're secluded from society in a shack you built yourself, magically beaming posts to this board, you are already reaping the practical benefits of maths.

Name: Anonymous 2010-12-07 11:55

>>1-9000

gay vergins

Name: Anonymous 2010-12-07 12:03

>>13
Where exactily (outside of vague natual language) it is used? Can you show us concrete computer program that works with "infinitesimals"?

>>12
Why not use LISP's lists, limited by memory amount of computer, LISP-system runs on?

Name: VIPPER 2010-12-07 12:04

>>1
jews?

JEWS

Name: Anonymous 2010-12-07 12:05

>>15
Every inductive proof ever.

Name: Anonymous 2010-12-07 12:09

>>17
Proof that uses infinity to prove infinity? Looks like a pseudoscience. BTW, how can I prove that math isnt a religious pseudoscience?

Name: Anonymous 2010-12-07 12:11

>>16
Yes. Jews like math, because of some traditional numerology practices related to their crazy religion and infinity, as I heard.

Name: Anonymous 2010-12-07 12:16

>>18
..and it looks like OP threw in the towel. Argument over.

thread.close();

Name: VIPPER 2010-12-07 12:20

>>20
Why not use this.close you JEWS?

Name: Anonymous 2010-12-07 12:22

import threading

thread.__over__()

Name: Anonymous 2010-12-07 12:55

>>22
ONE WORD: THE FORCED INDENTATION OF THREAD OVER. THREAD OVER.

Name: Anonymous 2010-12-07 16:06

So the math is a useless pseudoscience I guess.
LISP is much, much better than math.
And LISP has nice uniform syntax, without all these greek and jewish letters.

Name: Anonymous 2010-12-07 16:09

Also, I easily copy-paste LISP code. But mathematics requires ugly La-TeX stuff to graph crazy diagrams.

Name: Anonymous 2010-12-07 16:16

Even SEPPLES has more rigor and elegancy than mathematics.

Name: Anonymous 2010-12-07 17:51

google 'lazy lists'

Name: Anonymous 2010-12-07 17:55

uh

OP is an idiot

one of the most prolific finitists right now is jewish

Name: Anonymous 2010-12-07 18:13

Lisp is infinite. This is the Lisp paradox.

Name: Anonymous 2010-12-07 18:17

http://try.rakudo.org/
my @fibs := 0,1,*+* ... *; say @fibs[7];

Inf <3.

Name: Anonymous 2010-12-07 18:41

>>28
You don't know what "jewish" means. It is not nationality or race. It is more like ideology, being arrogant and "God Chosen", worshiping infinity and the stuff.

Name: Anonymous 2010-12-07 18:45

>>27 >>30
recurision != infinity

Name: Anonymous 2010-12-07 18:45

>>30
Perl
Now you have infinite problems.

Name: Anonymous 2010-12-07 18:46

>>32
Please optimize your quoting !

Name: Anonymous 2010-12-07 18:49

>>30
0,1,*+* ... *;
Perl has a special syntax case just for fibonacci sequence?

Please, introduce Larry Wall to this wiki article:
http://en.wikipedia.org/wiki/Bloated

Name: Anonymous 2010-12-07 18:52

>>35
Perl has a special syntax for ~~everything!~~

Name: Anonymous 2010-12-07 19:03

>>36
For what purpose?

Name: Anonymous 2010-12-07 19:06

>>37
http://en.wikipedia.org/wiki/Bloated

Name: Anonymous 2010-12-07 19:08

I can do the same in my Lisp+Refal dialect, using simple function



foldS a b o -> [a b].{[a b]=>seq a [b o,a,b].rec}

foldS 0 1 `+`

(0                               1                              

 1                               2                              

 3                               5                              

 8                               13                             

 21                              34                             

 55                              89                             

 144                             233                            

 377                             610                            

 987                             1597                           

 2584                            4181                           

 6765                            10946                          

 17711                           28657                          

 46368                           75025                          

 121393                          196418                         

 317811                          514229                         

 832040                          1346269                        

 2178309                         3524578                        

 5702887                         9227465                        

 14930352                        24157817                       

 39088169                        63245986                       

 102334155                       165580141                      

 267914296                       433494437                      

 701408733                       1134903170                     

 1836311903                      2971215073                     

 4807526976                      7778742049                     

 12586269025                     20365011074                    

 32951280099                     53316291173                    

 86267571272                     139583862445                   

 225851433717                    365435296162                   

 591286729879                    956722026041                   

 1548008755920                   2504730781961                  

 4052739537881                   6557470319842                  

 10610209857723                  17167680177565                 

 27777890035288                  44945570212853                 

 72723460248141                  117669030460994                

 190392490709135                 308061521170129                

 498454011879264                 806515533049393                

 1304969544928657                2111485077978050               

 3416454622906707                5527939700884757               

 8944394323791464                14472334024676221              

 23416728348467685               37889062373143906              

 61305790721611591               99194853094755497              

 160500643816367088              259695496911122585             

 420196140727489673              679891637638612258             

 1100087778366101931             1779979416004714189            

 2880067194370816120             4660046610375530309            

 7540113804746346429             12200160415121876738           

 19740274219868223167            31940434634990099905           

 51680708854858323072            83621143489848422977           

 135301852344706746049           218922995834555169026          

 354224848179261915075           573147844013817084101          

 927372692193078999176           1500520536206896083277         

 2427893228399975082453          3928413764606871165730         

 6356306993006846248183          10284720757613717413913        

 16641027750620563662096         26925748508234281076009        

 43566776258854844738105         70492524767089125814114        

 114059301025943970552219        184551825793033096366333       

 298611126818977066918552        483162952612010163284885       

 781774079430987230203437        1264937032042997393488322      

 2046711111473984623691759       3311648143516982017180081      

 5358359254990966640871840       8670007398507948658051921      

 14028366653498915298923761      22698374052006863956975682     

 36726740705505779255899443      59425114757512643212875125     

 96151855463018422468774568      155576970220531065681649693    

 251728825683549488150424261     407305795904080553832073954    

 659034621587630041982498215     1066340417491710595814572169   

 1725375039079340637797070384    2791715456571051233611642553   

 4517090495650391871408712937    7308805952221443105020355490   

 11825896447871834976429068427   19134702400093278081449423917  

 30960598847965113057878492344   50095301248058391139327916261  

 81055900096023504197206408605   131151201344081895336534324866 

 212207101440105399533740733471  343358302784187294870275058337 

 555565404224292694404015791808  898923707008479989274290850145 

 1454489111232772683678306641953 2353412818241252672952597492098

 3807901929474025356630904134051 6161314747715278029583501626149 ...)

Name: Anonymous 2010-12-07 20:00

>>33
Now I have hyper-lazy-meta-infinite problems, thank you very much.

>>35
That is general syntax. Larry got on a Huffman coding kick, and the result is just about any conceptually simple expression is ~~equivalent in length to the J version~~ fairly tight.

Liar Paradox

1 Name: Anonymous 2010-12-07 10:50

2 Name: Anonymous 2010-12-07 10:51

3 Name: Anonymous 2010-12-07 11:01

4 Name: Anonymous 2010-12-07 11:09

5 Name: JEW 2010-12-07 11:18

6 Name: Anonymous 2010-12-07 11:19

7 Name: Anonymous 2010-12-07 11:21

8 Name: Anonymous 2010-12-07 11:29

9 Name: Anonymous 2010-12-07 11:29

10 Name: Anonymous 2010-12-07 11:30

11 Name: Anonymous 2010-12-07 11:35

12 Name: Anonymous 2010-12-07 11:48

13 Name: Anonymous 2010-12-07 11:54

14 Name: Anonymous 2010-12-07 11:55

15 Name: Anonymous 2010-12-07 12:03

16 Name: VIPPER 2010-12-07 12:04

17 Name: Anonymous 2010-12-07 12:05

18 Name: Anonymous 2010-12-07 12:09

19 Name: Anonymous 2010-12-07 12:11

20 Name: Anonymous 2010-12-07 12:16

21 Name: VIPPER 2010-12-07 12:20

22 Name: Anonymous 2010-12-07 12:22

23 Name: Anonymous 2010-12-07 12:55

24 Name: Anonymous 2010-12-07 16:06

25 Name: Anonymous 2010-12-07 16:09

26 Name: Anonymous 2010-12-07 16:16

27 Name: Anonymous 2010-12-07 17:51

28 Name: Anonymous 2010-12-07 17:55

29 Name: Anonymous 2010-12-07 18:13

30 Name: Anonymous 2010-12-07 18:17

31 Name: Anonymous 2010-12-07 18:41

32 Name: Anonymous 2010-12-07 18:45

33 Name: Anonymous 2010-12-07 18:45

34 Name: Anonymous 2010-12-07 18:46

35 Name: Anonymous 2010-12-07 18:49

36 Name: Anonymous 2010-12-07 18:52

37 Name: Anonymous 2010-12-07 19:03

38 Name: Anonymous 2010-12-07 19:06

39 Name: Anonymous 2010-12-07 19:08

40 Name: Anonymous 2010-12-07 20:00

Name: Anonymous 2010-12-07 10:50

Name: Anonymous 2010-12-07 10:51

Name: Anonymous 2010-12-07 11:01

Name: Anonymous 2010-12-07 11:09

Name: JEW 2010-12-07 11:18

Name: Anonymous 2010-12-07 11:19

Name: Anonymous 2010-12-07 11:21

Name: Anonymous 2010-12-07 11:29

Name: Anonymous 2010-12-07 11:29

Name: Anonymous 2010-12-07 11:30

Name: Anonymous 2010-12-07 11:35

Name: Anonymous 2010-12-07 11:48

Name: Anonymous 2010-12-07 11:54

Name: Anonymous 2010-12-07 11:55

Name: Anonymous 2010-12-07 12:03

Name: VIPPER 2010-12-07 12:04

Name: Anonymous 2010-12-07 12:05

Name: Anonymous 2010-12-07 12:09

Name: Anonymous 2010-12-07 12:11

Name: Anonymous 2010-12-07 12:16

Name: VIPPER 2010-12-07 12:20

Name: Anonymous 2010-12-07 12:22

Name: Anonymous 2010-12-07 12:55

Name: Anonymous 2010-12-07 16:06

Name: Anonymous 2010-12-07 16:09

Name: Anonymous 2010-12-07 16:16

Name: Anonymous 2010-12-07 17:51

Name: Anonymous 2010-12-07 17:55

Name: Anonymous 2010-12-07 18:13

Name: Anonymous 2010-12-07 18:17

Name: Anonymous 2010-12-07 18:41

Name: Anonymous 2010-12-07 18:45

Name: Anonymous 2010-12-07 18:45

Name: Anonymous 2010-12-07 18:46

Name: Anonymous 2010-12-07 18:49

Name: Anonymous 2010-12-07 18:52

Name: Anonymous 2010-12-07 19:03

Name: Anonymous 2010-12-07 19:06

Name: Anonymous 2010-12-07 19:08

Name: Anonymous 2010-12-07 20:00