jgill

Perhaps you could elaborate on computational proof. When I conjecture a theorem in complex analysis I usually turn to the many programs I've written f...

I can't recall learning of anything in classical analysis (complex or real) affected by incompleteness, but that doesn't mean much since I have been o...

Researchgate seems to be functional with my account.

Yes, it certainly looks like that faulty brick in the foundations of math will surely cause the giant structure to collapse. I wish I had known this b...

If you were to know God perfectly, mathematics is irrelevant. Especially if that "everything" includes things that mere mortals have deemed false. Jus...

I side with the physicists on this.

A philosopher of mathematics might consider this a serious issue. However, many mathematicians ignore it. But who knows about the future? Remember, ma...

Gowers: "The “two cultures” I wish to discuss will be familiar to all professional mathematicians.Loosely speaking, I mean the distinction between mat...

What are thoughts that we should capture While in the throes of blissful rapture That soothe the pain of incomplete With certain knowledge Now replete

A bit of vaudeville relief :lol:

Partly, philosophy at present supervenes on enormous amounts of knowledge - scientific and otherwise - unlike anything philosophers of the 18th centur...

:up:

If it predicts it ain't metaphysics

Is it possible for an axiom to be false? Please explain. Don't refer to inconsistency. :roll:

Axioms and postulates are generally considered the same things. Does Tononi distinguish between them?

It's Giulio Tononi. :roll:

It's Tononi. His system has as axiomatic the existence of consciousness. I agree and have the same perception of time. Both simply exist. And unraveli...

I write all my graphics with Liberty BASIC language, then insert the images in Word documents, then convert to pdf. I'm not familiar with other progra...

Well, it sounds like people are working on it. I suppose I question attempting to apply math in this context. A lot depends on whether predictions are...

From Wiki: "The calculation of even a modestly-sized system's ? Max {\displaystyle \Phi ^{\textrm {Max}}} {\displaystyle \Phi ^{\textrm {Max}}} is oft...

I looked into this briefly several years ago and recall that, apart from conceptual issues, the math is difficult to employ.

The bee/train problem is slightly different from my recollection, but basically the same ideas:Bee vs Trains The process doesn't end before the trains...

You still have not clearly explained the problem. Tell us exactly what x, y, t, d, and z represent. It sounds a bit like the old bee vs train problem ...

Seems like a unusual question for one who started threads like "Qualia and Quantum Mechanics, The Sequel" and "Do Physics Equations Disprove the Speed...

You neglected adding, "And you don't care!" :scream: If I spent my time brooding over this issue I'd not get much math done. It's good there are gurus...

And it's even classified as Vital. There must be 10K pages on math on Wiki. I wonder how many are added each day?

It's a mystery to me. :chin:

Perhaps a non-Euclidean metric designed for entanglement, a novel metric space, could be a key to describing if not explaining the phenomenon. Maybe t...

Nice reply. Thanks.

:roll: Category theory is a popular mathematical area. An offshoot of algebra, it can be used as an alternative to establish the foundations of math. ...

I forgot to mention, one way a theorem could be considered "complete" is when the theorem is "sharp", which means the hypotheses cannot be reduced and...

https://upload.wikimedia.org/wikipedia/commons/4/4e/Reproductive_universe.jpg Reproductive Universe

Well, Shawn, you asked for it. Sorry, buddy, it's convoluted and I doubt comprehensible. I don't usually go to professional math sites like StackExcha...

I just came across this quote from Mathematics Made Difficult by Linderholm. It points to the spirit of modern set theory and foundations :cool: : “Th...

You are not making two points on a plane into one point on the plane. You are moving to a point in another topology based on equivalence classes of th...

There still seems to be a little confusion about a priori vs a posteriori approaches to these ideas - at least for me. The notion of an automated theo...

I'm curious. As a retired prof I don't think it's accurate.

Here's another: Length & Complexity

That's a possibility, but be prepared for some confusion about what you are asking. You're in a different ball game on that forum.

A posteriori I assume? Not a priori.

True enough. Beyond my pale.

I sort of dread the notion of making mathematics more formal. :scream:

Interesting ideas, but to my mind it's putting the cart before the horse. I don't see how this sort of knowledge would help prove a theorem, which is ...

Refresh my memory, how is this done? Edit: OK. Quotient topology. From Wiki: "Intuitively speaking, the points of each equivalence class are identifie...

Nice :up:

Is this opinion or fact? Please state your references if the latter.

I'm thinking again of having proven a theorem, putting into a computer algorithm, then counting symbols to ascertain "complexity." I guess that would ...

You've brought this up before. Let me get it straight. You are not talking about deriving the proof of a math theorem, you are asking that if I were t...

Very few will admit that on this forum. I admire your honesty. I think you mean limits to be bounds. Do you? Like a circle in the plane vs a parabola ...

Blessings on thee, kind citizen. :blush: