What kind of general syntax applies to proof telling? — Shawn

What is "proof telling"? Proof description? An actual proof written out? Compared with "story telling"?

A traditional proof (pencil on paper) may be complicated, but I take it "complexity" refers to computer programs that can ascertain correctness of proof for certain kinds of theorems.

I don't get your joke. We have two items in our list: apples and dollars, each of them forming a side of a right triangle. What's the hypotenuse in terms of apples and dollars? — TheMadFool

A number representing the square root of the square of the number of apples plus sixteen

What's the hypotenuse in terms of apples and dollars? That's all I'm asking. — TheMadFool

The square root of the square of the number of apples plus sixteen. An amazing breakthrough in marketing!

What is "congruent mathematics"? Just curious. — jgill

Geometry, mainly. — Shawn

The word "congruence" has at least two meanings in mathematics, but I've never come across a sub-discipline called "congruent mathematics".

Is every theorem able to provide for a proof that is least or more complex, and what this would itself amount to? I see that there's difficulty in understanding this because mathematicians aren't accustomed to treating logic as much as it used to to be about logicizing it. — Shawn

Do theorems "provide" for proofs? Especially ones that are "least complex" or "more complex"(than what?). And this is "logicizing" logic? :roll:

I'd like to see that! — SophistiCat


Thanks, maybe I'll get started on it. — fishfry

Yes indeed. Me too. :chin:

I do specifically think it applies to non-congruent mathematics — Shawn W

What is "congruent mathematics"? Just curious.

Just a thought: are there really that many proofs already available? Not at the library, certainly. — tim wood

Good point. I think of all the theorems I have conjectured and proven, each requiring intricate maneuverings, and wonder. During the past century generalizations and abstractions have been paramount, and certainly when an individual theorem lies within those domains its previously complicated proof may be subsumed by a general result. But this is probably not what the OP means.

One jumps to a higher order logic with supremums (least upper bounds) early in an undergraduate curriculum.

In as short as possible, would it be possible to entertain the notion that complexity in non-congruent mathematics is determinable? — Shawn W

? Maybe unscramble this. :chin:

Well done :up:

B-T is not easy for a non-mathematician, although the Wiki article does a good job. I encountered non-measurable sets over a half century ago, and happily left the subject behind. But, as happens when FF presents math material I clicked on it and was pleasantly surprised to find an actual fairly simple example on Wiki.

As r approaches 0, V too approaches 0 but, oddly, A doesn't — TheMadFool

Nonsense :roll:

I am no mathematician. — tim wood

I never liked math. — Outlander

Probably best, then, to avoid topics like this one.

Here's an example of a (weakly) emergent object called Infinite Brooch.



The intricate details are largely unpredictable from a process of composing a lengthy set of complex functions in the complex plane. Some think that the only true example of strong emergence is human consciousness. Another area of mathematics yielding emergent objects is cellular automata.

It seems inappropriate to consider reality as an emergent entity, for several reasons already mentioned. Weak emergence, on the other hand, can be fascinating.

This thread has become a little weird. But so are parts of physics. And math. :worry:

I'm not sure that knowing thyself is even possible, but what is more important is to know thy limitations. I was a rock climber for over half a century and learned that lesson early on.

Without physical things, how can significance be determined in statistics in a way that isn't arbitrary? — TiredThinker

The best hope of parapsychologists is to mathematically model ectoplasm, then run tests to see if the math is appropriate. But ectoplasm may have gone the way of aether. :worry:

Occasionally, in engineering and mathematics one discovers what seems to be a solution in search of a problem. I'm guilty of this. But this is mundane and not the philosophical nugget to which the OP refers. :cool:

But I don’t think this is about schadenfreude — Possibility

Agreed. Schadenfreude arises out of some aspect of envy. My daughter, a New Yorker, recently related to me a true case of SF: Some families who bought twenty million dollar entire floors in Manhattan high rises are complaining that their elevator doors are sluggish and there are dripping faucets that management is slow to fix. :cry:

. . . is the 1655 work by Hobbes that deals with mechanistic philosophy — Gregory

Wrong Hobbes. :roll:

although Hobbes wrote on physics. I don't know anything about his particular arguments — Gregory

He's my favorite philosopher!

Hobbes the philosopher

Consider each term of the form, 1/n , a momentary vibration. Count both directions , 1/n and -1/n . As you add up the moments the sums tend to plus and minus infinity and counting in both directions means counting backwards never ends. There is no "end of infinity". That's it for me. :meh:

Returning to the philosophical mundane, here is an appropriate passage on Nagel from Wikipedia:

Nagel is probably most widely known within the field of philosophy of mind as an advocate of the idea that consciousness and subjective experience cannot, at least with the contemporary understanding of physicalism, be satisfactorily explained using the current concepts of physics.

I agree. :smile:

Ye if we have an infinite series of vibrations (of fire!) stretching into the past with no end, then the future is different from the past because the past is completed infinity — Gregory

Wrong. Think of starting the harmonic series in both directions, then later popping into existence. At that point in time the series is still progressing negatively. But carry on.

Likewise, what's the probability of getting a number between 1 and 6, inclusive? Why, that would be 100% — TheMadFool

Not quite. There is an extremely small probability the die will end up balanced on an edge. Or that as you toss the die a meteor will crash into your home and blow everything to smithereens. Or any number of other weird things. A bit like Feynman with his path integral where he is tasked with computing a quantity for every possible path between points a and b.

But I didn't mean to interrupt the flow of your argument.

I'm very very interested in infinitesimals. Berkeley called them ghosts of dead space as if space dies as it approaches infinity. My question is why does it approach infinity when we get smaller and smaller but not when going in the opposite direction — Gregory

Have another glass of wine, my friend. :roll:

Here's a shape of time:

Lorentz Factor

There are schools here and there that teach calculus using infinitesimals, but by far most use the epsilon-delta approach.

https://matheducators.stackexchange.com/questions/5989/which-universities-teach-true-infinitesimal-calculus

↪jgill
Doesn't seem odd to me. If you want to do applied physics, do a physics degree. If you want to do theory, do maths. At my uni we had to take our electives in the maths department if we wanted to do advanced theoretical physics — Kenosha Kid

I've mentioned this before, but I was at the U of Chicago in the late 1950s and was surprised to learn that the physics department had entirely separated from the math department and required its students to take their math courses with them. This arrangement probably didn't last, but I just checked and saw that there might still be some minor friction between departments, with a comment that under a certain curriculum "you may have to learn . . . on your own".

I've had fun dabbling in simple vector fields in the complex plane, but quantum fields are quite a bit more complicated, even with a modest background in functional analysis. My hat's off to you guys. :cool:

It may seem odd, but one reason I switched undergrad major from physics to math was the relative clarity of definitions in the latter compared with those of the former.

↪jgill
Presumably you think Newton's most important contribution was the sterling job he did as head of the Royal Mint — Bartricks

I'm humbled by your perceptive reply. :roll:

but if philosophy hasn't answered anything important then why do we bother teaching it? Just to sit on a treadmill? — Darkneos

It's called academic momentum.

IMO it's a philosophical mistake to attempt to separate time from space. Sure, it can be done more or less mathematically, even having it move backwards, but it is inseparable from the field or manifold or context or whatever you wish to call it that is spacetime.

Can the universe contain itself? — Benj96

It can and it does, quite successfully, even as it expands beyond light speed. It would seem that to apply the sort of everyday reasoning to which we are accustomed to either the cosmic or the quantum may not be appropriate.

. . . the true significance of Descartes' Cogito and even of his indubitably certain Sum, is their inherent existential tenuousness and triviality. — charles ferraro

I've always thought his comment on existence and thought trivial. On the other hand his brilliance is apparent with the discovery of analytic geometry.

Many problems have been solved by philosophers, but there is no consensus on which ones, — bert1

Nicely put.

Perhaps he, like General Ripper in Dr. Strangelove, didn't avoid women but denied them his essence. — Ciceronianus the White

Precious bodily fluids are not to be trifled with. But getting back to the OP, one should read up on some arcane subject before making an approach. Then casually bring up the subject as if in passing and eloquently remark about it with well-rehearsed sentences. This is guaranteed to pay off but it requires continuous effort. Once she has fallen under your spell, however, you can revert to your basic self, assured of her lasting love and devotion. :cool:

Do intelligent women ever find average to a little bit slow men attractive? — TiredThinker

An entertaining philosophical topic. What would Kant think? :chin:

In humans there is the consciousness of recognizing a problem and recognizing a path to a solution of that problem and proceeding along that path, and then there is self-consciousness. Computer programs may be conscious in the former sense but not in the latter sense. When we are in the flow of activities we may lose the self-perspective and act more like an automaton, although still feeling various sensory inputs. Where is a line of demarcation?

"I'm still mulling over "solving a question."

Oh, dear! do you not believe in solutions — Tres Bien

One answers a question. One solves a problem. :roll:

If you understood philosophy the way I wish people would , you would realize your claim is exactly the same as saying that science hasn’t really solved a single important question. — Joshs

I'm still mulling over "solving a question." Another example of philosophical babble IMO. :roll:

Let's see some citations. I don't remember academia as being like that, but it has been a while ago that I was on a faculty.

I'm not sure TPF is a good place to undertake article publications or even postings. There must be other sites more suitable for posting efforts that are neither academic nor peer-reviewed. I published math papers when I was a prof, but after retiring over twenty years ago I researched and wrote for my own pleasure, posting my notes on researchgate. Isn't there a similar site in the humanities? It is true, however, that researchgate requires an academic affiliation of some sort.

Posting an essay here as an OP seems not to be unusual. So there must be a need for recognition beyond simple participation on a forum.

The bottom-line is that people want something for nothing — synthesis

Hard to argue against.