Comments

  • A -> not-A
    Set theory is needed for the rest of math and so is logicSrap Tasmaner

    Much of classical math existed before the introduction of set theory. So, no. Modern math is another thing.
  • All Causation is Indirect
    But here I would question whether the notion of cause adds anything that is not already given in the mechanistic description.SophistiCat

    You are correct. It's a mere mathematical simulation of cause and effect. The philosophical notions are out of my league. But it is a fascinating subject.
  • All Causation is Indirect
    You seem to want to dilute the concept so as to include just about any kind of mechanistic analysis, which is tantamount to eliminating causationSophistiCat

    Why should this be the case? I drop an object from a certain height and predict when it will hit the ground. How does this eliminate causality? There are a host of factors involved in this physical feat, and one can argue one's way through that jungle, rather than citing a principle cause, gravity.

    (I wrote a math note a year or so ago that partitioned a causal chain temporally so that each link was formed by a collection of contributory causal effects added together to produce one complex number associated with that link. Just a mathematical diversion, but a vacation from the plethora of philosophical commentaries about the subject.)
  • How does knowledge and education shape our identity?
    Which is, again, quite cromulent.fdrake

    Thank you. I just learned a new word. :chin:
  • A -> not-A
    But how is that "checking the validity of one argument using another"?TonesInDeepFreeze

    Sorry. Wrong @Hanover post.
  • A -> not-A
    I don't know what you mean. Example? — TonesInDeepFreeze

    https://en.wikipedia.org/wiki/Proof_by_contradiction
    Hanover

    Not sure how this fits in with the OP. I've used this approach from time to time, but never to the extent of assuming ~P is true and showing P follows. Usually one shows a logical contradiction of sorts short of P being true. But I digress from the conversation, which has long ago become absurd. @Tones clarified the issue way back imo.
  • How does knowledge and education shape our identity?
    Regarding knowledge of the curriculum - the kind of student that satisfies all benchmarks in a subject has already been discouraged from pursuing their insights and skills due to herding them through the curriculum at a required pace. It is not uncommon to see an allegedly failing student have a profound insight, which you nevertheless cannot spend time developing with themfdrake

    I agree somewhat with the "required pace", but you and I know that in post-K12 math and related subjects it takes effort and time to accumulate a background necessary to advance or apply knowledge even a bit. In my years of teaching college math I have encountered only one such individual - an older student who dropped out to support himself as a poker player. He had taken my course in complex variables, and I recall speaking with him informally in the math office in which he brought up a really interesting and unusual notion on the subject, spur of the moment. Like a light bulb burning bright. I was unable to convince him to continue the curriculum.
  • The dismal state of economics.
    "the Dismal Science"
  • Continuum does not exist
    But since my big post from 6 days ago was opaque to you I'm quite discouraged from continuing on.keystone

    The one trait I share with Feynman is understanding a concept through examples. You started with the imagery in 2D. Maybe more?
  • How does knowledge and education shape our identity?
    Not sure. But a lot of potential PhDs seem to wash out just from the long dreariness and uncertain job prospects after completion,BC

    Forty to sixty percent of American PhD candidates do not complete their degrees. Many of these encounter a roadblock in the fundamental aspect of the degree: Doing original research. But there are various other reasons. The percentage is a bit higher in the humanities. Lower in STEM disciplines.
  • A -> not-A
    Waiting for someone to bring up quantum theory. :roll:
  • Continuum does not exist
    When you mention "the Lounge," are you referring to an actual place, or do you mean taking a pause in the conversation until others join in?keystone

    The "Lounge" is part of TPF.
  • Continuum does not exist
    Overall, I think you have started down a path that is far too complicated for the desired result. — jgill

    Someone could say the same thing about the epsilon-delta formulation of a limit, which was introduced to give calculus a more rigorous foundation.
    keystone

    At first I thought this is not true, but that is because I followed a learning curve that incorporated analytic geometry before calculus, and this allows clear illustrations and examples en route to limits. You work in CS, however, and what seems like unintuitive definitions to me probably make more sense to you. Had I taken a course in graph theory what you are proposing might seem less opaque.

    Continue, if you like, and I will comment from time to time as I learn more about graph theory.

    I suggest this thread be placed in the Lounge since it obviously has limited appeal to the general audience, but has merit in philosophy of mathematics. Just my opinion.
  • How does knowledge and education shape our identity?
    I think there's also a difference between "memory" or memorizing something and the knowledge (and the understanding) of something.ssu

    Albert Einstein: “If you can't explain it to a six year old, you don't understand it yourself.”

    If you can't illustrate a concept or process by applying them to specific examples, you probably don't really understand them.

    Richard Feynman: “I don't know what's the matter with people: they don't learn by understanding, they learn by some other way — by rote or something. Their knowledge is so fragile!”

    Memorizing without understanding is like sex without orgasms.

    I would like to ask the reader about how does the reader suppose that knowledge can influence one's identity?Shawn

    Years ago I completed a curriculum and became a meteorologist and practiced that discipline. Later I completed a curriculum and became a mathematician. I drifted away from the former and lost that identity, while becoming identified with the latter. Meanwhile I became proficient at rock climbing, and that was a separate identity. I married and had a child, so I became a parent. We may have multiple identities.
  • Continuum does not exist
    A real number corresponds to a specific subgraph within a potential structure. In the 1D case, this is represented by a potential curve and the two potential points that are directly connected to it.keystone

    You've lost me. Guess it's time for me to quit. Overall, I think you have started down a path that is far too complicated for the desired result. However, if the result you seek is more philosophical than mathematical you may have something.
  • Quantum Physics and Classical Physics — A Short Note
    It's a philosophical question which most philosophers are not equipped to even begin to answerflannel jesus

    :up:
  • On the Necessity of the Dunning Kruger Effect
    But what's that got to do with the topic of the thread?Clearbury

    Just checking to see if you are AI.
  • On the Necessity of the Dunning Kruger Effect
    DKE is accurately characterized as 'the stupider a person is, the less likely they are to realize how stupid they are'Clearbury

    Not necessarily true. I have known stupid people who admit they are stupid and don't try to compete intellectually. But it's not the definition of DKE.

    Can you forgive a person for being stupid?
  • On the Necessity of the Dunning Kruger Effect
    the main point is that the DKE is accurately characterized as 'the stupider a person is, the less likely they are to realize how stupid they are'Clearbury

    Are you trying to demonstrate your argument? Just curious.

    Years ago, at a math conference in Marseille-Luminy, a prominent mathematician told me he could forgive someone making a mistake, but could not forgive stupidity. Can you forgive stupidity?
  • On the Necessity of the Dunning Kruger Effect
    i wouldn't have thought an expert would write a wikipedia page - they're too busy being expertsClearbury

    Mathematicians, specifically, are eager to present their research to the public. Publishing in journal reaches only very select readers. More mistakes occur on easy math pages rather than advanced topics. That's where amateurs demonstrate their DKE.
  • Continuum does not exist
    However, in 2D and higher dimensions, a curve is determined not only by its endpoints but also by an equation. Perhaps incorporating that equation into the vertex might make the concept more digestiblekeystone

    I explore various properties of contours in the complex plane, defining a metric space whose "points" are contours. .
    "Distance" is defined . But here t is a positive real number, which you have not defined yet. Usually, the u(t) and v(t) are differentiable, giving a smooth curve. So incorporating this sort of thing into the definition of vertex assumes what you will probably wish to prove. I wonder what an "edge" in your graph would be?
  • On the Necessity of the Dunning Kruger Effect
    And isn't Wikipedia written by those who fancy themselves experts in matters they have no expertise on?Clearbury

    It varies. Topics that are popular draw the attention of experts in those areas, who, in turn, make corrections that are discussed on talk pages. Very low interest subjects may exhibit greater DK . The necessity of linking assertions to external sources, books and magazines, e.g., improves accuracy but is not infallible since those references may not be accurate. In general, Wikipedia and Britannica have approximately the same degree of accuracy, but Wiki keeps pace with discoveries faster.
  • Continuum does not exist
    I see it averages about 47 pageviews per day on Wiki, and classed as low priority. — jgill
    Sometimes the significance of a discovery isn't recognized until many years later.
    keystone

    It's had 164 years. We'll see. :cool:

    Each indivisible object, whether potential, pseudo, or actual, is represented as a vertex within a structure, regardless of its dimensionalitykeystone

    From the point of view of graph theory, vertices are treated as featureless and indivisible objects, although they may have additional structure depending on the application from which the graph arises; for instance, a semantic network is a graph in which the vertices represent concepts or classes of objects.
    (Wiki)

    OK. But it gets a bit anti-intuitive. Hard to imagine a curve is a vertex. But then, I treat curves in the CP as points in a metric space.

    I wish other mathematicians would chime in on this thread. I am very old and have forgotten what I didn't learn. :roll:
  • Continuum does not exist
    A 1D actual structure is a finite, undirected graph in which each vertex represents an actual point, pseudo point, or actual curvekeystone

    A vertex represents an actual curve?

    I’m a bit surprised that once I introduced a more mathematical approach—like discussing the Stern-Brocot tree and providing proper definitions—you felt the discussion was becoming less interesting to mathematicians. I had expected the opposite.keystone

    In fact, I had never heard of the S-B tree before it was introduced on this forum. It is not true that every mathematician will find every math topic interesting. (Wiki lists well over 25,000 if I recall). Had I been a number theorist or a CS person I may have known of it. I see it averages about 47 pageviews per day on Wiki, and classed as low priority. But that's not trivial by any means. My own page gets only 15.
  • All Causation is Indirect
    All deterministic processes are time-symmetricSophistiCat

    Not all. The evolution of entropy in a closed system is deterministic (entropy always increases), but it is not time-symmetric because entropy decreases in reverse time.

    There are mathematical dynamical systems that function in simple ways that are not reversible. f(z)=z^2.
  • Continuum does not exist
    You could start with continuity described as a path in the Euclidean plane or complex plane taken by a moving particle. Or something similar.

    There's an elegance to QM and I believe the same can be said about the top down view of mathematicskeystone

    Careful. I would not compare if I were you.

    If you had two functions on Q then a suitable metric would be the supremum. — jgill

    Suitable for what?
    keystone

    For defining "distance" between functions. When I dabble in the complex plane contours become points in the metric space and the distance between them is the Sup|f(t)-g(t)| over 0<t<1 for instance.

    If I were younger I might have more time to try to unravel your presentation. You have wandered from metric spaces to topology and now graph theory, with that dreadful SB-table trailing along. Then you have all these definitions which a mathematician is unlikely to find of interest.

    Your best bet would be to find a mathematician willing to deal with your arguments and pay him/her a fee to do so. — jgill

    I've tried in the past, but nowhere else has been as beneficial as here
    keystone

    Try a nearby university where a grad student might want a little extra cash.
  • Continuum does not exist
    For example, when I write "n∈ N", I don’t mean that n is an element of the actual infinite set of natural numbers. Rather, I mean that, it is a natural number according to the SB tree (details omitted).keystone

    Good luck with that. Probably of more interest to CS people.

    The function x(n)keystone

    A sequence of rationals I assume. If you had two functions on Q then a suitable metric would be the supremum.

    An actual curve is an indivisible, one-dimensional object with length but no width or depth. It extends continuously between two actual points but excludes the endpoints.keystone

    How do you define "continuous"? Are you sure it is indivisible?

    Sorry, but your list of definitions is mind-numbing. Your top down is becoming way more complicated that bottom up, IMO. And the irrational numbers have yet to appear.

    Your best bet would be to find a mathematician willing to deal with your arguments and pay him/her a fee to do so.
  • There is only one mathematical object
    Too bad that the basics of category theory aren't taught in school. But then again, the educational system doesn't care much about the philosophy of mathematics or the foundations of mathematics.ssu

    I assume you are speaking of "school" as in "university". It is taught at some elite institutions and some not so high on the scale as well. If you mean elementary or high school the very thought is laughable.

    I remember being in a discussion with several mathematicians fifty years ago when category theory came up. The consensus was that it "doesn't do anything". It may not prove any theorems other than those about itself. With set theory one can start from scratch and build a logical system, but CT requires knowledge of the various facets of the category. It's mostly an outgrowth of abstract algebra.

    Computer science may be another matter.
  • Continuum does not exist
    I agree that calculus can work quite well with the concepts of unboundedness and potential infinity, but 'actual' infinities are implicitly assumed throughout the standard treatment.keystone

    I was speaking of ordinal numbers beyond the naturals. Our definitions of "actual" infinities differ. No big deal.

    As I have said before, I have written many papers and notes without ever becoming transfinite. — jgill
    Have you written calculus papers/notes that are not (implicitly or explicitly) built upon infinite sets like R?
    keystone

    Of course I have used R, but not a transfinite number. Unless I occasionally use the "point at infinity" in complex analysis. Which I rarely do since it is a projection upon the Riemann sphere. It might appear that you are moving in the direction of Discrete calculus. But go ahead. I am curious.
  • Continuum does not exist
    But that program (even in an infinite world*) cannot actually output a set with a cardinality of ℵ0. Potential is important and I feel like it's been forgotten in our Platonist world.keystone

    Elementary calculus does not require "actual" infinities. It gets along quite well with unboundedness, or what you might call potential infinity. As I have said before, I have written many papers and notes without ever becoming transfinite.
  • “Referendum democracy” and the Condorcet theorem
    I think the whole idea grossly overestimates people's interest in having an opinion on every political subject all the timeBenkei

    :up:
  • Continuum does not exist
    By moving the focus from the destination to the journey the need for actual infinity vanishes.keystone

    By "actual infinity" I suppose you mean a kind of number that can be manipulated by arithmetic processes.

    In my recent posts, I have been establishing that real numbers instead describe potential k-curves, which can be thought of as yet to be constructed k-curves which when constructed have the potential to be arbitrarily small (but always retain a non-zero length).keystone

    This is either very deep - or shallow gobblygook.
  • Continuum does not exist
    So far I'm not seeing anything beyond a line segment between two points that converge to one. From a continuum to a point. Why should one care about this?
  • Beginner getting into Philososphy
    Reading the masters (Kant, etc) sometimes is confusing since they might not express themselves in the best ways. Read commentaries of them if you encounter problems.
  • Quantum Physics and Classical Physics — A Short Note
    Of course it is true you're not obliged to find that interesting.Wayfarer

    Unfortunately, I will be long gone when they sort this out. You may be around :cool:
  • Quantum Physics and Classical Physics — A Short Note
    The challenge for scientific realism is the concept of superpositionWayfarer

    Wiki:
    Quantum superposition is a fundamental principle of quantum mechanics that states that linear combinations of solutions to the Schrödinger equation are also solutions of the Schrödinger equation. This follows from the fact that the Schrödinger equation is a linear differential equation in time and position. More precisely, the state of a system is given by a linear combination of all the eigenfunctions of the Schrödinger equation governing that system.

    I'm not a physicist, merely an old mathematician who prefers this definition. So I don't see the magic.
  • There is only one mathematical object
    He ends up advocating (maybe just "showing the benefits of" is a better term) of an approach grounded in category theory.Count Timothy von Icarus

    Category theory is beyond my pay grade. It's quite popular (the Wiki page has over 600 views per day - people want to know what it's all about). So far it seems not to have included classical complex analysis. When I look at diagrams what is familiar is composition of functions, of which I am fairly proficient.
  • Continuum does not exist
    I see a mistake in your last figure, typo probably. And I assume -1/0 (meaningless) designates negative infinity, however you define that. I see nothing of interest so far.
  • Quantum Physics and Classical Physics — A Short Note
    From Wiki:
    Conceptually, the Schrödinger equation is the quantum counterpart of Newton's second law in classical mechanics. Given a set of known initial conditions, Newton's second law makes a mathematical prediction as to what path a given physical system will take over time. The Schrödinger equation gives the evolution over time of the wave function, the quantum-mechanical characterization of an isolated physical system.

    I have mentioned before that fundamentally the S. equation reduces to a simple calculus concept: the instantaneous change in a thing is proportional to the amount of that thing at that time. Think of continuous compounding of interest in the financial realm. Nothing magical.