This document discusses concepts in mathematics and philosophy that have multiple related meanings developed through history and practice.
It argues that concepts like "proof", "number", and "punishment" present not just one stable definition but a "synthesis of meanings" that has crystallized over time from diverse uses and cannot be fully analyzed by reducing to basic elements. Drawing on Nietzsche and Weber, it views the development of concepts not as revealing an essence but as a process of rationalization acting on a complex unity arising from varied practices.
The document also notes mathematics involves a "colorful mix of proof techniques" and that formalization programs are guided by this diverse landscape of practices rather than aiming for strict definitions. It
Crazy Futures I an exploration on the necessity of pushing your thinking past...Wendy Schultz
Don't merely consider what you think is plausible - recognise that you may not have the whole story on emerging changes, and that what's emerging may shatter the bounds of what's currently 'plausible'. Get creative, test assumptions, test values and worldviews.
On the Interactional Meaning of Fundamental Legal ConceptsGiovanni Sileno
Presentation at JURIX 2014.
Abstract: Rather than as abstract entities, jural relations are analyzed in terms of the bindings they create on the individual behaviour of concurrent social agents. Investigating a simple sale transaction modeled with Petri Nets, we argue that the concepts on the two Hohfeldian squares rely on the implicit reference to a “transcendental” collective entity, to which the two parties believe or are believed to belong. From this perspective, we observe that both liabilities and duties are associated to obligations, respectively of an epistemic or practical nature. The fundamental legal concepts defined by Hohfeld are revisited accordingly, leading to the construction of two Hohfeldian prisms.
Crazy Futures I an exploration on the necessity of pushing your thinking pas...Wendy Schultz
Don't merely consider what you think is plausible - recognise that you may not have the whole story on emerging changes, and that what's emerging may shatter the bounds of what's currently 'plausible'. Get creative, test assumptions, test values and worldviews.
Crazy Futures I an exploration on the necessity of pushing your thinking past...Wendy Schultz
Don't merely consider what you think is plausible - recognise that you may not have the whole story on emerging changes, and that what's emerging may shatter the bounds of what's currently 'plausible'. Get creative, test assumptions, test values and worldviews.
On the Interactional Meaning of Fundamental Legal ConceptsGiovanni Sileno
Presentation at JURIX 2014.
Abstract: Rather than as abstract entities, jural relations are analyzed in terms of the bindings they create on the individual behaviour of concurrent social agents. Investigating a simple sale transaction modeled with Petri Nets, we argue that the concepts on the two Hohfeldian squares rely on the implicit reference to a “transcendental” collective entity, to which the two parties believe or are believed to belong. From this perspective, we observe that both liabilities and duties are associated to obligations, respectively of an epistemic or practical nature. The fundamental legal concepts defined by Hohfeld are revisited accordingly, leading to the construction of two Hohfeldian prisms.
Crazy Futures I an exploration on the necessity of pushing your thinking pas...Wendy Schultz
Don't merely consider what you think is plausible - recognise that you may not have the whole story on emerging changes, and that what's emerging may shatter the bounds of what's currently 'plausible'. Get creative, test assumptions, test values and worldviews.
Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...University of Maribor
Slides from:
11th International Conference on Electrical, Electronics and Computer Engineering (IcETRAN), Niš, 3-6 June 2024
Track: Artificial Intelligence
https://www.etran.rs/2024/en/home-english/
Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...Sérgio Sacani
Since volcanic activity was first discovered on Io from Voyager images in 1979, changes
on Io’s surface have been monitored from both spacecraft and ground-based telescopes.
Here, we present the highest spatial resolution images of Io ever obtained from a groundbased telescope. These images, acquired by the SHARK-VIS instrument on the Large
Binocular Telescope, show evidence of a major resurfacing event on Io’s trailing hemisphere. When compared to the most recent spacecraft images, the SHARK-VIS images
show that a plume deposit from a powerful eruption at Pillan Patera has covered part
of the long-lived Pele plume deposit. Although this type of resurfacing event may be common on Io, few have been detected due to the rarity of spacecraft visits and the previously low spatial resolution available from Earth-based telescopes. The SHARK-VIS instrument ushers in a new era of high resolution imaging of Io’s surface using adaptive
optics at visible wavelengths.
Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...University of Maribor
Slides from:
11th International Conference on Electrical, Electronics and Computer Engineering (IcETRAN), Niš, 3-6 June 2024
Track: Artificial Intelligence
https://www.etran.rs/2024/en/home-english/
Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...Sérgio Sacani
Since volcanic activity was first discovered on Io from Voyager images in 1979, changes
on Io’s surface have been monitored from both spacecraft and ground-based telescopes.
Here, we present the highest spatial resolution images of Io ever obtained from a groundbased telescope. These images, acquired by the SHARK-VIS instrument on the Large
Binocular Telescope, show evidence of a major resurfacing event on Io’s trailing hemisphere. When compared to the most recent spacecraft images, the SHARK-VIS images
show that a plume deposit from a powerful eruption at Pillan Patera has covered part
of the long-lived Pele plume deposit. Although this type of resurfacing event may be common on Io, few have been detected due to the rarity of spacecraft visits and the previously low spatial resolution available from Earth-based telescopes. The SHARK-VIS instrument ushers in a new era of high resolution imaging of Io’s surface using adaptive
optics at visible wavelengths.
Richard's entangled aventures in wonderlandRichard Gill
Since the loophole-free Bell experiments of 2020 and the Nobel prizes in physics of 2022, critics of Bell's work have retreated to the fortress of super-determinism. Now, super-determinism is a derogatory word - it just means "determinism". Palmer, Hance and Hossenfelder argue that quantum mechanics and determinism are not incompatible, using a sophisticated mathematical construction based on a subtle thinning of allowed states and measurements in quantum mechanics, such that what is left appears to make Bell's argument fail, without altering the empirical predictions of quantum mechanics. I think however that it is a smoke screen, and the slogan "lost in math" comes to my mind. I will discuss some other recent disproofs of Bell's theorem using the language of causality based on causal graphs. Causal thinking is also central to law and justice. I will mention surprising connections to my work on serial killer nurse cases, in particular the Dutch case of Lucia de Berk and the current UK case of Lucy Letby.
THE IMPORTANCE OF MARTIAN ATMOSPHERE SAMPLE RETURN.Sérgio Sacani
The return of a sample of near-surface atmosphere from Mars would facilitate answers to several first-order science questions surrounding the formation and evolution of the planet. One of the important aspects of terrestrial planet formation in general is the role that primary atmospheres played in influencing the chemistry and structure of the planets and their antecedents. Studies of the martian atmosphere can be used to investigate the role of a primary atmosphere in its history. Atmosphere samples would also inform our understanding of the near-surface chemistry of the planet, and ultimately the prospects for life. High-precision isotopic analyses of constituent gases are needed to address these questions, requiring that the analyses are made on returned samples rather than in situ.
Multi-source connectivity as the driver of solar wind variability in the heli...Sérgio Sacani
The ambient solar wind that flls the heliosphere originates from multiple
sources in the solar corona and is highly structured. It is often described
as high-speed, relatively homogeneous, plasma streams from coronal
holes and slow-speed, highly variable, streams whose source regions are
under debate. A key goal of ESA/NASA’s Solar Orbiter mission is to identify
solar wind sources and understand what drives the complexity seen in the
heliosphere. By combining magnetic feld modelling and spectroscopic
techniques with high-resolution observations and measurements, we show
that the solar wind variability detected in situ by Solar Orbiter in March
2022 is driven by spatio-temporal changes in the magnetic connectivity to
multiple sources in the solar atmosphere. The magnetic feld footpoints
connected to the spacecraft moved from the boundaries of a coronal hole
to one active region (12961) and then across to another region (12957). This
is refected in the in situ measurements, which show the transition from fast
to highly Alfvénic then to slow solar wind that is disrupted by the arrival of
a coronal mass ejection. Our results describe solar wind variability at 0.5 au
but are applicable to near-Earth observatories.
This presentation explores a brief idea about the structural and functional attributes of nucleotides, the structure and function of genetic materials along with the impact of UV rays and pH upon them.
Earliest Galaxies in the JADES Origins Field: Luminosity Function and Cosmic ...Sérgio Sacani
We characterize the earliest galaxy population in the JADES Origins Field (JOF), the deepest
imaging field observed with JWST. We make use of the ancillary Hubble optical images (5 filters
spanning 0.4−0.9µm) and novel JWST images with 14 filters spanning 0.8−5µm, including 7 mediumband filters, and reaching total exposure times of up to 46 hours per filter. We combine all our data
at > 2.3µm to construct an ultradeep image, reaching as deep as ≈ 31.4 AB mag in the stack and
30.3-31.0 AB mag (5σ, r = 0.1” circular aperture) in individual filters. We measure photometric
redshifts and use robust selection criteria to identify a sample of eight galaxy candidates at redshifts
z = 11.5 − 15. These objects show compact half-light radii of R1/2 ∼ 50 − 200pc, stellar masses of
M⋆ ∼ 107−108M⊙, and star-formation rates of SFR ∼ 0.1−1 M⊙ yr−1
. Our search finds no candidates
at 15 < z < 20, placing upper limits at these redshifts. We develop a forward modeling approach to
infer the properties of the evolving luminosity function without binning in redshift or luminosity that
marginalizes over the photometric redshift uncertainty of our candidate galaxies and incorporates the
impact of non-detections. We find a z = 12 luminosity function in good agreement with prior results,
and that the luminosity function normalization and UV luminosity density decline by a factor of ∼ 2.5
from z = 12 to z = 14. We discuss the possible implications of our results in the context of theoretical
models for evolution of the dark matter halo mass function.
A brief information about the SCOP protein database used in bioinformatics.
The Structural Classification of Proteins (SCOP) database is a comprehensive and authoritative resource for the structural and evolutionary relationships of proteins. It provides a detailed and curated classification of protein structures, grouping them into families, superfamilies, and folds based on their structural and sequence similarities.
What is greenhouse gasses and how many gasses are there to affect the Earth.moosaasad1975
What are greenhouse gasses how they affect the earth and its environment what is the future of the environment and earth how the weather and the climate effects.
3. My long-term problem: proof
What is the relation between the proofs
that mathematicians actually write and
the proofs studied in formal logic (and
invoked in the ‘standard view’)?
Yehuda Rav, JodyAzzouni, Reuben
Hersh, JeremyAvigad, Ken Manders,
Yacin Hamami… etc..
The Standard View:
(approximation sufficient for
motivation):
Any rigorous informal proof can be
routinely or mechanically translated
into a formal proof.
Me: Traduttore, traditore!
Brendan Larvor - Onbezoldigd (emeritus) 3
4. My long-term problem: proof
‘Proof’is a word with a long history with
related meanings (including the formal
ideal and various mechanical
realisations). How should we think
about such words?
Brendan Larvor - Onbezoldigd (emeritus) 4
5. My long-term problem: proof
‘Proof’is a word with a long history with
related meanings (including the formal
ideal and various mechanical
realisations). How should we think
about such words?
We could just insist that philosophy
gives accounts of terms with stable
essences:
Brendan Larvor - Onbezoldigd (emeritus) 5
“[My] account is not actually of proof in
general, but only of rigorous proof...
…questions like “what is mathematical
proof?”, asked in full generality, are
unlikely to receive a satisfying answer:
there is no univocal notion of proof in
mathematics, or at least not one we can
expect to obtain a substantial philosophical
analysis of.”
—Oliver Tatton-Brown,
Review of Symbolic Logic
This assumes that tidy concepts
can be fully understood with no
residual arbitrariness without
reference to their scruffy relatives.
6. Thinking diversity in relation
“That the Historyof the World,with all the
changingsceneswhich itsannalspresent,is this
process of developmentandthe realizationof
Spirit– thisis the true Theodicaea,the
justificationof God inHistory.Only this insight
canreconcileSpiritwith the Historyofthe
World – viz.,thatwhat has happened,and is
happeningevery day, is notonly not“without
God,”butis essentiallyHisWork.”
Brendan Larvor - Onbezoldigd (emeritus) 6
7. Thinking diversity in relation
Brendan Larvor - Onbezoldigd (emeritus) 7
The Idea of History
The Idea of Nature
…
The Idea of Proof
The Idea of Numbers
The Idea of …
RG Collingwood
8. Thinking diversity in relation
Brendan Larvor - Onbezoldigd (emeritus) 8
Mathematics is a “MOTLEY/COLOURFULmix of
techniques of proof” (RFM III, §46)
(“ein BUNTES Gemisch von Beweistechniken”)
—LWnotices the diversity but does not think about the
relations
‘Monadology of language games’
(Also: family resemblance concepts are not helpful.)
9. Ein BUNTES Gemisch von Beweistechniken
Brendan Larvor - Onbezoldigd (emeritus) 9
10. Ein BUNTES Gemisch von Beweistechniken
Brendan Larvor - Onbezoldigd (emeritus) 10
“Philosophers are now faced with the conceptual agility of 20th-
century mathematics: hopping a functor to another category any
time superfluous details are sensed (homology groups in topology);
bringing in details seemingly extraneous to one’s question by a
representing functor (group representations in the theory of
abstract groups); explaining families of simple number-theoretic
facts anyone can see one-by-one, by some hard to master
“underlying” abstract structure (Fermat’s problem).”
Ken Manders ‘Euclid or Descartes? Representation and
Responsiveness’
11. Thinking diversity in relation
Brendan Larvor - Onbezoldigd (emeritus) 11
“Today it is impossible to say
precisely why people are actually
punished: all concepts in which an
entire process is semiotically
concentrated defy definition; only
something which has no history can
be defined.”
(GM II 13)
12. Thinking diversity in relation
Brendan Larvor - Onbezoldigd (emeritus) 12
Punishment as a means of rendering harmless, of
preventing further harm.
Punishment as payment of a debt to the creditor in any form
(even one of emotional compensation).
Punishment as a means of isolating a disturbance of
balance, to prevent further spread of the disturbance.
Punishment as a means of inspiring the fear of those who
determine and execute punishment.
13. Thinking diversity in relation
Brendan Larvor - Onbezoldigd (emeritus) 13
Punishment as a sort of counter-balance to the privileges
which the criminal has enjoyed up till now (for example, by
using him as a slave in the mines).
Punishment as a rooting-out of degenerate elements
Punishment as a festival, in the form of violating and
mocking an enemy, once he is finally conquered.
Punishment as an aide memoire, either for the person
suffering the punishment – so called ‘reform’, or for those
who see it carried out.
14. Thinking diversity in relation
Brendan Larvor - Onbezoldigd (emeritus) 14
Punishment as payment of a fee stipulated by the power
which protects the wrongdoer from the excesses of
revenge.
Punishment as a compromise with the natural state of
revenge, in so far as the latter is still nurtured and claimed as
a privilege by more powerful clans.
15. Thinking diversity in relation
Brendan Larvor - Onbezoldigd (emeritus) 15
Punishment as a declaration of war and a war measure
against an enemy of peace, law, order, authority, who is
fought as dangerous to the life of the community, in breach
of the contract on which the community is founded, as a
rebel, a traitor and breaker of the peace, with all the means
war can provide.
Etc..
–(GM II 13)
16. Thinking diversity in relation
Brendan Larvor - Onbezoldigd (emeritus) 16
“…the concept ‘punishment’
presents,… not just one meaning
but a whole synthesis of ‘meanings’
[Sinnen]: the history of punishment
up to now in general, the history of
its use for a variety of purposes,
finally crystallizes in a kind of unity
which is difficult to dissolve back into
its elements, difficult to analyse…”
(GM II 13)
17. Thinking diversity in relation
Brendan Larvor - Onbezoldigd (emeritus) 17
Rationalisation, including
intellectualisation and analysis.
Nietzsche can make that list of the
meanings of punishment because
he is a late product of Weberian
processes.
Max Weber
18. Thinking diversity in relation:
the interplay of practices
Brendan Larvor - Onbezoldigd (emeritus) 18
19. Thinking diversity in relation:
the interplay of practices
Brendan Larvor - Onbezoldigd (emeritus) 19
20. Thinking diversity in relation:
the interplay of practices
Brendan Larvor - Onbezoldigd (emeritus) 20
These examples run the risk of making Ferreirós look
like Collingwood!
This is not essential to the logic of his scheme.
Later examples and remarks suggest it’s not his view.
21. Thinking diversity in relation:
the interplay of practices
Brendan Larvor - Onbezoldigd (emeritus) 21
E.g: we might think that the natural development of reckoning
arithmetic is the Peano axioms.
BUT
Reckoning practice makes no use of the inductive properties of
the natural numbers. It connects much more easily with
commutative algebra.
e.g. Algebraic integers and square matrices are like the regular
integers because they are commutative rings—but they are not
inductive sets.
If you want something that feels number-like, go for a
commutative ring.
22. Thinking diversity in relation:
the interplay of practices
Brendan Larvor - Onbezoldigd (emeritus) 22
E.g: we might think that the natural development of reckoning
arithmetic is the Peano axioms.
BUT
Reckoning practice makes no use of the inductive properties of
the natural numbers. It connects much more easily with
commutative algebra.
e.g. Algebraic integers and square matrices are like the regular
integers because they are rings—but they are not inductive sets.
If you want something that feels number-like, go for a
commutative ring.
Maths Nietzsche might say:
…the concept ‘number’ presents,… not
just one meaning but a whole synthesis
of ‘meanings’ [Sinnen]: the history of
numbers up to now in general, the
history of its use for a variety of
purposes, finally crystallizes in a kind of
unity which is difficult to dissolve back
into its elements, difficult to analyse…
IOW the history of the concept of
number is not the uncovering of an
essence. It’s more like Weberian
rationalization acting on a complex
unity arising from practices.
23. Thinking diversity in relation
Brendan Larvor - Onbezoldigd (emeritus) 23
Aquestion for native speakers of
German:
I’m leaning hard on GM II 13. Is the
Diethe translation reliable?
24. What about proof?
Brendan Larvor - Onbezoldigd (emeritus) 24
Formalisation programmes and programs are guided in the details of their
design by the whole BUNTES Gemisch, and we’ll find out as they develop
how that goes.
E.g. students trained on Lean write informal proofs differently, and their
professors’experience with the whole BUNTES Gemisch guides their
judgments about whether this is a Good Thing.
25. What about philosophy?
Brendan Larvor - Onbezoldigd (emeritus) 25
Nietzsche is right, the interesting practices are always a BUNTES Gemisch.
Resist unnatural tidiness!
Study the scruffy cousins of respectable concepts.