1. Forum
  2. Usenet
  3. COMP.LANG.PROLOG

  • Re: Was Poincare crushed by the New

    From Mild Shock@21:1/5 to Mild Shock on Sat Jan 4 10:00:41 2025
    Poincare has surely still a fellowship,
    maybe a form of counter culture, similar like
    Spencer Brown. Who halucinates a supervenient

    logic over the logics from the formal revolution,
    mostly appealing to diagrammtic reasoning.

    "The mathematician Darboux claimed he was un
    intuitif (an intuitive), arguing that this is
    demonstrated by the fact that he worked so
    often by visual representation. Jacques Hadamard
    wrote that Poincaré's research demonstrated
    marvelous clarity[76] and Poincaré himself wrote
    that he believed that logic was not a way to
    invent but a way to structure ideas and that
    logic limits ideas." https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9#Character

    This is a very common psychological defense
    mechanism, sometimes having even a religious

    motivation, in that it is believed that the
    face of God or Angels speak to humans through
    mathematics. But once again with generative

    AI and halucinating ChatGPT this humanist
    monopole is challenged somehow even more.

    Mild Shock schrieb:

    Poincare had quite some problems with the
    formal revolution that took place as well
    in the last 100 or more years, starting with

    things like naive set theory and its antinomies,
    ending with computer formalized proofs of the Keppler
    packing nowadays. He wrote a lengthy book:

    Science and method
    by Poincaré, Henri, 1854-1912 https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up

    His struggle starts at page 160, The New Logics.
    Similar Einstein was New Mechanics for him.
    Mostlikely Poincaré nowadays would be a form of

    Sabine Hossenfelder with 100 YouTube videos and
    possibly many followers. Poincaré faced the
    destiny of any old fart that became irrelevant

    over the time and turned into a commentator.


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mild Shock@21:1/5 to All on Sat Jan 4 09:59:10 2025
    Poincare had quite some problems with the
    formal revolution that took place as well
    in the last 100 or more years, starting with

    things like naive set theory and its antinomies,
    ending with computer formalized proofs of the Keppler
    packing nowadays. He wrote a lengthy book:

    Science and method
    by Poincaré, Henri, 1854-1912 https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up

    His struggle starts at page 160, The New Logics.
    Similar Einstein was New Mechanics for him.
    Mostlikely Poincaré nowadays would be a form of

    Sabine Hossenfelder with 100 YouTube videos and
    possibly many followers. Poincaré faced the
    destiny of any old fart that became irrelevant

    over the time and turned into a commentator.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mild Shock@21:1/5 to Mild Shock on Sat Jan 4 10:03:28 2025
    Poincare is said to have never spent a long time on a
    problem since he believed that the subconscious would
    continue working on the problem while he consciously

    worked on another problem. So he had a self model
    that included some automatic processing. Mostlikely
    Einstein used similar techniques, Einstein is said

    to have slept about 10 hours a night, which is more
    than the average adult needs, and often took naps
    during the day. So both men managed and tapped into

    their more holistic thinking. A nice example of
    what is nowadays called "dual processing":

    Dual-process accounts of reasoning postulate that there
    are two systems or minds in one brain. https://en.wikipedia.org/wiki/Dual_process_theory#Background

    But dual processing is now challenged a little bit.
    Just imagine a ChatGPT doing things when the end-user
    is idle? Just like a chess program that continues

    "thinking", when it is the opponents turn:

    Yuval Noah Harari: ChatGPT is the “amoeba of AI evolution” https://www.youtube.com/watch?v=lfid5DUoSBI

    What will be the resulting physics?

    Mild Shock schrieb:

    Poincare has surely still a fellowship,
    maybe a form of counter culture, similar like
    Spencer Brown. Who halucinates a supervenient

    logic over the logics from the formal revolution,
    mostly appealing to diagrammtic reasoning.

    "The mathematician Darboux claimed he was un
    intuitif (an intuitive), arguing that this is
    demonstrated by the fact that he worked so
    often by visual representation. Jacques Hadamard
    wrote that Poincaré's research demonstrated
    marvelous clarity[76] and Poincaré himself wrote
    that he believed that logic was not a way to
    invent but a way to structure ideas and that
    logic limits ideas." https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9#Character

    This is a very common psychological defense
    mechanism, sometimes having even a religious

    motivation, in that it is believed that the
    face of God or Angels speak to humans through
    mathematics. But once again with generative

    AI and halucinating ChatGPT this humanist
    monopole is challenged somehow even more.

    Mild Shock schrieb:

    Poincare had quite some problems with the
    formal revolution that took place as well
    in the last 100 or more years, starting with

    things like naive set theory and its antinomies,
    ending with computer formalized proofs of the Keppler
    packing nowadays. He wrote a lengthy book:

    Science and method
    by Poincaré, Henri, 1854-1912
    https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up

    His struggle starts at page 160, The New Logics.
    Similar Einstein was New Mechanics for him.
    Mostlikely Poincaré nowadays would be a form of

    Sabine Hossenfelder with 100 YouTube videos and
    possibly many followers. Poincaré faced the
    destiny of any old fart that became irrelevant

    over the time and turned into a commentator.



    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)