From Newsgroup: sci.lang

On 1/2/2026 4:30 PM, Thomas 'PointedEars' Lahn wrote:

olcott wrote:

The philosophy of math says maybe we have
been thinking about this stuff all wrong.

Says who, you?

Mathematics is an exact structural _science_; hence "*sci*.math".

Math says of course we haven't been thinking
about this stuff all wrong everyone knows
that math is infallible.

/Ex nonsenso quodlibet./

Why do you write about things that you know nothing about?

"true on the basis of meaning expressed in language"
is fully computable entirely on the basis of finite
string manipulation rules applied to finite strings.

In the philosophy of mathematics, formalism is the
view that holds that statements of mathematics
and logic can be considered to be statements about
the consequences of the manipulation of strings
(alphanumeric sequences of symbols, usually as
equations) using established manipulation rules.

https://en.wikipedia.org/wiki/Formalism_(philosophy_of_mathematics)
--
Copyright 2026 Olcott<br><br>

My 28 year goal has been to make <br>
"true on the basis of meaning expressed in language"<br>
reliably computable.<br><br>

This required establishing a new foundation<br>
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.lang

On 1/2/26 6:17 PM, olcott wrote:

On 1/2/2026 4:30 PM, Thomas 'PointedEars' Lahn wrote:

olcott wrote:

The philosophy of math says maybe we have
been thinking about this stuff all wrong.

Says who, you?

Mathematics is an exact structural _science_; hence "*sci*.math".

Math says of course we haven't been thinking
about this stuff all wrong everyone knows
that math is infallible.

/Ex nonsenso quodlibet./

Why do you write about things that you know nothing about?

"true on the basis of meaning expressed in language"
is fully computable entirely on the basis of finite
string manipulation rules applied to finite strings.

But it isn't.

In the philosophy of mathematics, formalism is the
view that holds that statements of mathematics
and logic can be considered to be statements about
the consequences of the manipulation of strings
(alphanumeric sequences of symbols, usually as
equations) using established manipulation rules.

https://en.wikipedia.org/wiki/Formalism_(philosophy_of_mathematics)

Yes, but doesn't say they are computable.

Your problem is you just fail to actually learn enough of what you talk
about.
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.lang

olcott wrote:

On 1/2/2026 4:30 PM, Thomas 'PointedEars' Lahn wrote:

olcott wrote:

The philosophy of math says maybe we have
been thinking about this stuff all wrong.

Says who, you?

Mathematics is an exact structural _science_; hence "*sci*.math".

Math says of course we haven't been thinking
about this stuff all wrong everyone knows
that math is infallible.

/Ex nonsenso quodlibet./

Why do you write about things that you know nothing about?

"true on the basis of meaning expressed in language"
is fully computable entirely on the basis of finite
string manipulation rules applied to finite strings.

Pseudoscientific word salad.

Again: Why do you write about things that you know nothing about?

In the philosophy of mathematics, formalism is the
view that holds that statements of mathematics
and logic can be considered to be statements about
the consequences of the manipulation of strings
(alphanumeric sequences of symbols, usually as
equations) using established manipulation rules.

https://en.wikipedia.org/wiki/Formalism_(philosophy_of_mathematics)

That does not confirm your initial claim.

Also, it should be noted that "the philosophy of (i.e. *about*) mathematics"
is apparently a questionable concept to begin with, as one can see by the marker of "multiple issues" if one follows the link in that Wikipedia article.

You would do well to not continue this mindbogglingly stupid crosspost
across 5 (!) newsgroups (F'up2 sci.math set), and to post to Usenet using
your real name.

But given your record, probably you are just trolling again.
--
PointedEars

Twitter: @PointedEars2
Please do not cc me. / Bitte keine Kopien per E-Mail.
--- Synchronet 3.21a-Linux NewsLink 1.2