Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.user > #223812

Re: technical terms overhaul

From Leslie Rhorer <lesrhorer@att.net>
Newsgroups linux.debian.user
Subject Re: technical terms overhaul
Date 2020-06-21 09:40 +0200
Message-ID <Ak2K6-1Nr-3@gated-at.bofh.it> (permalink)
References <AjYZQ-7Wx-3@gated-at.bofh.it> <Ak1uF-17L-1@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw

	Put more simply, every formal proof must contain at least one 
assumption and at least one undefined term.  In practice, three 
undefined terms and three postulates is a fairly tight, well contained 
logical construct.

	"This statement is false" isn't really anything profound.  It does 
illustrate there can exist internally inconsistent logical entities, but 
really it is merely an artifact of the situation that just because a 
string of words is grammatically correct does not imply it has any meaning.

	Is this really a good discussion for the Debian User list?

On 6/21/2020 1:19 AM, Thomas Schmitt wrote:
> Hi,
> 
> i wrote:
> 
>>> statements which are neither true nor false.
>>> Kurt Goedel. Incompleteness theorem.
> 
> Celejar wrote:
>> No - Gödel proved that any such (formal) system will contain statements
>> such that neither they nor their negations are *provable within the
>> system*. These statements are actually "true", using a normal
>> definition of truth.
> 
> A system which contains this "normal definition of truth" must itself
> contain statements which cannot be proven within that system - unless
> it is too weird to be written down or too dull for the theory of numbers.
> 
> Consider the normal pitfall of philosophy to believe that human mind
> and reasoning can cope with everything. I.e. axioms are for cowards.
> So what does the free-wheeling philospher think about the truth of the
> following statement:
> 
>    "This statement itself is false."
> 
> 
> Have a nice day :)
> 
> Thomas
>

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

technical terms overhaul Eike Lantzsch <zp6cge@gmx.net> - 2020-06-19 21:20 +0200
  Re: technical terms overhaul Brian <ad44@cityscape.co.uk> - 2020-06-19 21:40 +0200
    Re: technical terms overhaul Greg Wooledge <wooledg@eeg.ccf.org> - 2020-06-19 21:50 +0200
      Re: technical terms overhaul Brian <ad44@cityscape.co.uk> - 2020-06-19 22:00 +0200
        Re: technical terms overhaul Greg Wooledge <wooledg@eeg.ccf.org> - 2020-06-19 22:10 +0200
          Re: technical terms overhaul ghe2001 <ghe2001@protonmail.com> - 2020-06-19 22:20 +0200
            Re: technical terms overhaul Greg Wooledge <wooledg@eeg.ccf.org> - 2020-06-19 22:20 +0200
          Re: technical terms overhaul David Wright <deblis@lionunicorn.co.uk> - 2020-06-19 22:20 +0200
            Re: technical terms overhaul Weaver <weaver@riseup.net> - 2020-06-20 02:40 +0200
              Re: technical terms overhaul Dan Ritter <dsr@randomstring.org> - 2020-06-20 05:00 +0200
                Re: technical terms overhaul ghe2001 <ghe2001@protonmail.com> - 2020-06-20 05:30 +0200
                Re: technical terms overhaul Gene Heskett <gheskett@shentel.net> - 2020-06-20 06:20 +0200
                Re: technical terms overhaul Weaver <weaver@riseup.net> - 2020-06-20 09:30 +0200
                Re: technical terms overhaul Dan Ritter <dsr@randomstring.org> - 2020-06-20 16:00 +0200
                Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-20 16:40 +0200
                Re: technical terms overhaul Weaver <weaver@riseup.net> - 2020-06-20 21:10 +0200
                Re: technical terms overhaul Miles Fidelman <mfidelman@meetinghouse.net> - 2020-06-20 18:00 +0200
                Re: technical terms overhaul Miles Fidelman <mfidelman@meetinghouse.net> - 2020-06-22 15:50 +0200
                Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-22 19:20 +0200
                Re: technical terms overhaul Paul Johnson <baloo@ursamundi.org> - 2020-06-22 19:30 +0200
          Re: technical terms overhaul Greg Wooledge <wooledg@eeg.ccf.org> - 2020-06-19 23:50 +0200
            Re: technical terms overhaul Andrei POPESCU <andreimpopescu@gmail.com> - 2020-06-20 18:10 +0200
          Re: technical terms overhaul Brian <ad44@cityscape.co.uk> - 2020-06-19 23:50 +0200
      Re: technical terms overhaul Dan Ritter <dsr@randomstring.org> - 2020-06-19 22:40 +0200
        Re: technical terms overhaul davidson <davidson@freevolt.org> - 2020-06-19 23:50 +0200
          Re: technical terms overhaul Ben Caradoc-Davies <ben@transient.nz> - 2020-06-20 03:40 +0200
        Re: technical terms overhaul riveravaldez <riveravaldezmail@gmail.com> - 2020-06-20 00:00 +0200
          Re: technical terms overhaul Joe <joe@jretrading.com> - 2020-06-20 12:00 +0200
            Re: technical terms overhaul "Thomas Schmitt" <scdbackup@gmx.net> - 2020-06-20 14:10 +0200
              Re: technical terms overhaul Gene Heskett <gheskett@shentel.net> - 2020-06-20 15:30 +0200
    Re: technical terms overhaul Gene Heskett <gheskett@shentel.net> - 2020-06-20 00:00 +0200
      Re: technical terms overhaul Dan Ritter <dsr@randomstring.org> - 2020-06-20 00:50 +0200
        Re: technical terms overhaul Celejar <celejar@gmail.com> - 2020-06-21 05:50 +0200
          Re: technical terms overhaul Weaver <weaver@riseup.net> - 2020-06-21 07:00 +0200
            Re: technical terms overhaul Andrei POPESCU <andreimpopescu@gmail.com> - 2020-06-21 07:50 +0200
              Re: technical terms overhaul Stephan Seitz <stse+debian@rootsland.net> - 2020-06-21 12:20 +0200
  Re: technical terms overhaul fmneto@gmail.com - 2020-06-19 21:50 +0200
  Re: technical terms overhaul Marco Möller <talby@debianlists.mobilxpress.net> - 2020-06-19 22:30 +0200
    Re: technical terms overhaul Doug <dmcgarrett@optonline.net> - 2020-06-19 23:10 +0200
    Re: technical terms overhaul elvis <elvis@dogonfire.com> - 2020-06-20 16:10 +0200
      Re: technical terms overhaul John Hasler <jhasler@newsguy.com> - 2020-06-20 18:10 +0200
  Re: technical terms overhaul Paul Johnson <baloo@ursamundi.org> - 2020-06-19 22:40 +0200
    Re: technical terms overhaul Eike Lantzsch <zp6cge@gmx.net> - 2020-06-20 01:10 +0200
      Re: technical terms overhaul Larry Martell <larry.martell@gmail.com> - 2020-06-20 01:30 +0200
        Re: technical terms overhaul Nicholas Geovanis <nickgeovanis@gmail.com> - 2020-06-20 01:40 +0200
          Re: technical terms overhaul Larry Martell <larry.martell@gmail.com> - 2020-06-20 01:40 +0200
        Re: technical terms overhaul Ben Caradoc-Davies <ben@transient.nz> - 2020-06-20 03:40 +0200
      Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-20 13:30 +0200
        Re: technical terms overhaul <tomas@tuxteam.de> - 2020-06-20 14:00 +0200
          Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-20 17:00 +0200
  Re: technical terms overhaul Default User <hunguponcontent@gmail.com> - 2020-06-19 23:40 +0200
    Re: technical terms overhaul Andrea Borgia <andrea@borgia.bo.it> - 2020-06-20 11:30 +0200
  Re: technical terms overhaul davidson <davidson@freevolt.org> - 2020-06-19 23:50 +0200
    Re: technical terms overhaul rhkramer@gmail.com - 2020-06-20 01:10 +0200
    Re: technical terms overhaul Eike Lantzsch <zp6cge@gmx.net> - 2020-06-20 01:20 +0200
      Re: technical terms overhaul davidson <davidson@freevolt.org> - 2020-06-20 03:20 +0200
        Re: technical terms overhaul davidson@freevolt.org - 2020-06-20 04:00 +0200
  Re: technical terms overhaul John Hasler <jhasler@newsguy.com> - 2020-06-20 03:10 +0200
  Re: technical terms overhaul Ben Caradoc-Davies <ben@transient.nz> - 2020-06-20 03:30 +0200
  Re: technical terms overhaul elvis <elvis@dogonfire.com> - 2020-06-20 16:10 +0200
    Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-20 19:40 +0200
      Re: technical terms overhaul <tomas@tuxteam.de> - 2020-06-20 20:20 +0200
        Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-20 22:30 +0200
      Re: technical terms overhaul "Thomas Schmitt" <scdbackup@gmx.net> - 2020-06-20 20:50 +0200
        Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-20 22:40 +0200
          Re: technical terms overhaul "Thomas Schmitt" <scdbackup@gmx.net> - 2020-06-20 23:20 +0200
            Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-20 23:30 +0200
        Re: technical terms overhaul Celejar <celejar@gmail.com> - 2020-06-21 05:40 +0200
          Re: technical terms overhaul "Thomas Schmitt" <scdbackup@gmx.net> - 2020-06-21 08:20 +0200
            Re: technical terms overhaul Leslie Rhorer <lesrhorer@att.net> - 2020-06-21 09:40 +0200
              Re: technical terms overhaul "Thomas Schmitt" <scdbackup@gmx.net> - 2020-06-21 11:10 +0200
                Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-21 11:40 +0200
      Re: technical terms overhaul The Wanderer <wanderer@fastmail.fm> - 2020-06-20 21:00 +0200
        Re: technical terms overhaul Francisco Mariano Neto <fmneto@usp.br> - 2020-06-20 21:40 +0200
        Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-20 22:50 +0200
      Re: technical terms overhaul Brad Rogers <brad@fineby.me.uk> - 2020-06-20 21:40 +0200
        Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-20 23:00 +0200
          Re: technical terms overhaul Brad Rogers <brad@fineby.me.uk> - 2020-06-21 08:00 +0200
            Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-21 08:40 +0200
              Re: technical terms overhaul Brad Rogers <brad@fineby.me.uk> - 2020-06-21 19:50 +0200
      Re: technical terms overhaul Andrei POPESCU <andreimpopescu@gmail.com> - 2020-06-20 22:10 +0200
        Re: technical terms overhaul Weaver <weaver@riseup.net> - 2020-06-20 22:20 +0200
        Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-20 23:00 +0200
          Re: technical terms overhaul Andrei POPESCU <andreimpopescu@gmail.com> - 2020-06-21 07:50 +0200
            Re: technical terms overhaul rhkramer@gmail.com - 2020-06-21 17:40 +0200
  Re: technical terms overhaul Rob van der Putten <rob@sput.nl> - 2020-06-21 12:20 +0200
    Re: technical terms overhaul Eike Lantzsch <zp6cge@gmx.net> - 2020-06-21 13:30 +0200
      Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-21 14:00 +0200
        Re: technical terms overhaul Joe <joe@jretrading.com> - 2020-06-21 14:20 +0200
          Re: technical terms overhaul John Hasler <jhasler@newsguy.com> - 2020-06-21 16:50 +0200
            Re: technical terms overhaul Jude DaShiell <jdashiel@panix.com> - 2020-06-21 17:50 +0200
        Re: technical terms overhaul John Hasler <jhasler@newsguy.com> - 2020-06-21 16:20 +0200
          Re: technical terms overhaul deloptes <deloptes@gmail.com> - 2020-06-21 19:00 +0200
            Re: technical terms overhaul The Wanderer <wanderer@fastmail.fm> - 2020-06-21 19:10 +0200
              Re: technical terms overhaul Peter Ehlert <peter@sdi-baja.com> - 2020-06-21 20:30 +0200
                Re: technical terms overhaul "James H. H. Lampert" <jamesl@touchtonecorp.com> - 2020-06-21 21:00 +0200
                Re: technical terms overhaul Charles Curley <charlescurley@charlescurley.com> - 2020-06-21 22:50 +0200
                Re: technical terms overhaul Miles Fidelman <mfidelman@meetinghouse.net> - 2020-06-21 23:30 +0200
                Re: technical terms overhaul davidson <davidson@freevolt.org> - 2020-06-21 23:30 +0200
                Re: technical terms overhaul davidson@freevolt.org - 2020-06-21 23:40 +0200
          Re: technical terms overhaul Joe <joe@jretrading.com> - 2020-06-21 19:30 +0200
          Re: technical terms overhaul nemo <moelmoel2714@gmail.com> - 2020-06-23 22:50 +0200
      Re: technical terms overhaul <tomas@tuxteam.de> - 2020-06-21 15:10 +0200
        Re: technical terms overhaul davidson <davidson@freevolt.org> - 2020-06-21 18:00 +0200
  Re: technical terms overhaul mick crane <mick.crane@gmail.com> - 2020-06-21 21:30 +0200
    Re: technical terms overhaul John Hasler <jhasler@newsguy.com> - 2020-06-21 22:30 +0200
      Re: technical terms overhaul davidson <davidson@freevolt.org> - 2020-06-21 23:00 +0200
      Re: technical terms overhaul mick crane <mick.crane@gmail.com> - 2020-06-21 23:10 +0200

csiph-web