Groups | Search | Server Info | Login | Register


Groups > sci.logic > #254734

Re: What's formal, axiomatic mathematics without the word "infinity"?

Newsgroups sci.logic
Date 2023-06-20 12:06 -0700
References <f652ec1d-805e-41b3-af4c-3ac1d3b31603n@googlegroups.com> <bd79f909-2315-46ae-9be4-f2806f1db764n@googlegroups.com> <719df8da-39e2-44c9-a4ce-b66d9faf107fn@googlegroups.com> <aeaa3115-340a-4de8-a1ab-0e105553d856n@googlegroups.com> <c61cd676-56ad-4ce4-b41b-2d4164c977f2n@googlegroups.com>
Message-ID <82d2e9bd-1806-4c5e-97ff-748cd96d92afn@googlegroups.com> (permalink)
Subject Re: What's formal, axiomatic mathematics without the word "infinity"?
From Ross Finlayson <ross.a.finlayson@gmail.com>

Show all headers | View raw


On Tuesday, June 20, 2023 at 11:57:09 AM UTC-7, Khong Dong wrote:
> On Tuesday, 20 June 2023 at 12:37:13 UTC-6, Ross Finlayson wrote: 
> > On Monday, June 19, 2023 at 5:24:16 PM UTC-7, Khong Dong wrote: 
> > > On Monday, 19 June 2023 at 09:02:00 UTC-6, Ross Finlayson wrote: 
> > > > On Sunday, June 18, 2023 at 10:50:59 PM UTC-7, Khong Dong wrote: 
> > > > > https://qr.ae/pyPSmu 
> > > 
> > > > Finitism. 
> > > Wrong: given that "finite" <=> "not infinite". 
> 
> > Around here infinity as a word has been around forever.
> Wrong. Around ephemeral here, did Plato, Gödel, Tarski, etc. live forever?

I don't know if even Highlander lives forever.  Around here, 
Plato is an ideal, Goedel has theorems in theories, and 
Tarski made a little shelter for mutual consistency for 
shills and frills and those for independent logics besides, 
so, Socrates is a man and more than mortal.

"Infinity infinity infinity infinity", ....

These are our schools of men with whom we relate a canon.
That's meant to be inclusive:  these are our schools of humans.

"Homo sapiens sapiens infinity infinity infinity ...."

Go blow yourself, windy dust.

Back to sci.logic | Previous | NextPrevious in thread | Next in thread | Find similar


Thread

What's formal, axiomatic mathematics without the word "infinity"? Khong Dong <khongdongphong@gmail.com> - 2023-06-18 22:50 -0700
  Re: What's formal, axiomatic mathematics without the word "infinity"? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-19 06:58 -0700
    Re: What's formal, axiomatic mathematics without the word "infinity"? Khong Dong <khongdongphong@gmail.com> - 2023-06-19 11:06 -0700
      Re: What's formal, axiomatic mathematics without the word "infinity"? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-19 19:02 -0700
  Re: What's formal, axiomatic mathematics without the word "infinity"? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-19 08:01 -0700
    Re: What's formal, axiomatic mathematics without the word "infinity"? Khong Dong <khongdongphong@gmail.com> - 2023-06-19 17:24 -0700
      Re: What's formal, axiomatic mathematics without the word "infinity"? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-20 11:37 -0700
        Re: What's formal, axiomatic mathematics without the word "infinity"? Khong Dong <khongdongphong@gmail.com> - 2023-06-20 11:57 -0700
          Re: What's formal, axiomatic mathematics without the word "infinity"? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-20 12:06 -0700
            Re: What's formal, axiomatic mathematics without the word "infinity"? Khong Dong <khongdongphong@gmail.com> - 2023-06-20 12:12 -0700
              Re: What's formal, axiomatic mathematics without the word "infinity"? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-20 13:39 -0700
                Re: What's formal, axiomatic mathematics without the word "infinity"? Khong Dong <khongdongphong@gmail.com> - 2023-06-20 15:33 -0700
  Re: What's formal, axiomatic mathematics without the word "infinity"? Mikko <mikko.levanto@iki.fi> - 2023-06-20 11:10 +0300
    Re: What's formal, axiomatic mathematics without the word "infinity"? Julio Di Egidio <julio@diegidio.name> - 2023-06-20 03:20 -0700
  Re: What's formal, axiomatic mathematics without the word "infinity"? Khong Dong <khongdongphong@gmail.com> - 2023-06-20 10:19 -0700
    Re: What's formal, axiomatic mathematics without the word "infinity"? Khong Dong <khongdongphong@gmail.com> - 2023-06-20 10:42 -0700
    Re: What's formal, axiomatic mathematics without the word "infinity"? Julio Di Egidio <julio@diegidio.name> - 2023-06-20 16:07 -0700
      Re: What's formal, axiomatic mathematics without the word "infinity"? Khong Dong <khongdongphong@gmail.com> - 2023-06-21 08:12 -0700
        Re: What's formal, axiomatic mathematics without the word "infinity"? Julio Di Egidio <julio@diegidio.name> - 2023-06-22 03:08 -0700

csiph-web