Groups | Search | Server Info | Login | Register

Groups > sci.logic > #254763

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

Newsgroups sci.logic
Date 2023-06-20 16:07 -0700
References <f652ec1d-805e-41b3-af4c-3ac1d3b31603n@googlegroups.com> <723c735d-8545-4b76-a8dc-38cd58a3a5d2n@googlegroups.com>
Message-ID <9538f9ab-a424-4f1f-9254-a30e1776305en@googlegroups.com> (permalink)
Subject Re: What's formal, axiomatic mathematics without the word "infinity"?
From Julio Di Egidio <julio@diegidio.name>

Show all headers | View raw

On Tuesday, 20 June 2023 at 19:19:16 UTC+2, Khong Dong wrote:

> What's up with formal, axiomatic mathematics
> which is without the word "infinity" being used
> to convey mathematical concepts? 

Formal and axiomatic are two distinct levels, as I
have been explaining upthread, and that you keep
asking why apples are not oranges.

Julio

Back to sci.logic | Previous | Next — Previous 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