X-Received: by 2002:ad4:57a4:0:b0:62d:e5c7:b930 with SMTP id g4-20020ad457a4000000b0062de5c7b930mr937581qvx.8.1687015262022; Sat, 17 Jun 2023 08:21:02 -0700 (PDT) X-Received: by 2002:a25:e70b:0:b0:bc5:4150:8e8d with SMTP id e11-20020a25e70b000000b00bc541508e8dmr1295746ybh.4.1687015261733; Sat, 17 Jun 2023 08:21:01 -0700 (PDT) Path: csiph.com!tncsrv06.tnetconsulting.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: sci.logic Date: Sat, 17 Jun 2023 08:21:01 -0700 (PDT) In-Reply-To: <20551314-0b9d-4773-82ef-62a67f65eb94n@googlegroups.com> Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r NNTP-Posting-Host: 77.57.53.44 References: <2d934ff9-c691-44f1-9fc0-51f2038966e6n@googlegroups.com> <3568167a-f971-4e41-9db0-8ff978d2b7e3n@googlegroups.com> <479d90bd-42c4-494c-b030-48d7caa15559n@googlegroups.com> <1b4cb8ec-437c-4802-98c0-e0e621de1632n@googlegroups.com> <36975c29-e604-41b7-b394-584fe744fec3n@googlegroups.com> <2fa17789-0233-bdce-6515-649372ab98f0@att.net> <7988a26f-8076-4644-9e76-6764c0ec3cdbn@googlegroups.com> <2aee2b7e-2122-4e7c-a2d0-93c9f0b2797en@googlegroups.com> <5464b1d6-1fd5-4193-82b2-7f6f56c91677n@googlegroups.com> <916f275d-e47c-4f25-85d5-7dacfb52b03bn@googlegroups.com> <20551314-0b9d-4773-82ef-62a67f65eb94n@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <53d2632c-e1c8-4fec-9305-ba544f03bb71n@googlegroups.com> Subject: Re: Why predictions about the future have no truth value From: Mild Shock Injection-Date: Sat, 17 Jun 2023 15:21:02 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 5879 Xref: csiph.com sci.logic:254490 Last but not least you have Quantifier Disambiguiation by Rossy Boy, thats the mathematical field when you eat=20 tons of cocaine and have keyboard access to google groups. Mild Shock schrieb am Samstag, 17. Juni 2023 um 17:17:39 UTC+2: > The term approximative comes from Error Calculus.=20 > Gauss introduced it. You can use it with or without=20 > probability. Without propability its more an interval=20 >=20 > calculus. With propability you might have folding=20 > some Gauss curves and things. It has a different=20 > thinking than attaching probabilities to events:=20 >=20 > "In the fields of science and engineering, the accuracy of a=20 > measurement system is the degree of closeness of=20 > measurements of a quantity to that quantity's true value."=20 > https://en.wikipedia.org/wiki/Accuracy_and_precision#Common_technical_def= inition > Mild Shock schrieb am Samstag, 17. Juni 2023 um 17:12:26 UTC+2:=20 > > Usually driving a car involves much more qualitative=20 > > reasoning, involving the future. If you cannot do it=20 > > as a human, then this might happen:=20 > >=20 > > 63-year-old woman flips car during driving test in Argentina=20 > > https://www.youtube.com/watch?v=3D1Y6didvqJUU=20 > >=20 > > Maybe DC Poop wasn't invented for such reasoning.=20 > > Why does it even have quoted name syntax? You can=20 > > write y, y', right? Anyway this convinces me again=20 > >=20 > > you stol=C3=A8 DC Proop, and you don't what it can do?=20 > >=20 > > Bye=20 > >=20 > > P.S.: Probabilistic reasoning is also exact. Its not=20 > > approximative. If you attach a probability to an event,=20 > > this doesn't make it approximative.=20 > >=20 > > You surely don't know what approximative means.=20 > > The word approximative is not used in probability.=20 > > The term is usually "stochastic":=20 > >=20 > > Stochastic (/st=C9=99=CB=88k=C3=A6st=C9=AAk/; from Ancient Greek =CF=83= =CF=84=CF=8C=CF=87=CE=BF=CF=82=20 > > (st=C3=B3khos) 'aim, guess') refers to the property of=20 > > being well described by a random probability distribution.=20 > > https://en.wikipedia.org/wiki/Stochastic=20 > >=20 > > Stochastic processes etc.. etc..=20 > > Mild Shock schrieb am Samstag, 17. Juni 2023 um 17:06:12 UTC+2:=20 > > > I am this forecaster, got a request by Elon Musk for=20 > > > his self driving cars, he wasn't sure whether cars=20 > > > will drive forwards or whether they drive backwards:=20 > > >=20 > > > /* positive velocity gives function monotonicity" */=20 > > > ALL(t):[y'(t) > 0] =3D> ALL(k):ALL(t):[k > 0 =3D> y(t+k)>y(t)]=20 > > >=20 > > > Can you prove it with DC Poop?=20 > > >=20 > > > LMAO!=20 > > > Dan Christensen schrieb am Samstag, 17. Juni 2023 um 16:15:06 UTC+2:= =20 > > > > On Saturday, June 17, 2023 at 9:53:56=E2=80=AFAM UTC-4, Mild Shock = wrote:=20 > > > >=20 > > > > > > > >> Prediction is difficult and imperfect,=20 > > > > > > > >> but, even so, it pays well to engage in it,=20 > > > > > > > >> pays in the best coin: survival.=20 > > > > > > > >>=20 > > > > > > > > [snip]=20 > > > > > > > >=20 > > > > > > > > Classical propositional logic alone is=20 > > > > > > > > quite useless for predicting the future.=20 > > > > > > > > To approximate it,=20 > > > > > > Referring to approximating the predication of the future.=20 > > > > > Well the word "approximation" has like 50 shades of=20 > > > > > meaning.=20 > > > > [snip]=20 > > > >=20 > > > > Weather forecasters "approximately" predict the future when they sa= y, for example, that there is a 40% chance of rain tomorrow. They cannot at= tach a truth value to the proposition, "It will rain tomorrow."=20 > > > > Dan=20 > > > >=20 > > > > Download my DC Proof 2.0 freeware at http://www.dcproof.com=20 > > > > Visit my Math Blog at http://www.dcproof.wordpress.com