I read about something simpler and more mathematically basic than set theory but I do not know what it is called, noticing most 2020 computers besides analog computers and quantum computers run off set theory ( and, or, not, nand etc), it seems possible
that CPUs and programs made from deeper math than set theory could have valuable characteristics and that higher level language computer programs compiled into deeper math than set theory hardware instructions could have new advantages, one way to test
this is a 2020 set theory emulation of a DM computer (DMC) and software to find out if any of it, including programs compiled into DM form are better in some ways, one possible way is that different DM CPU layouts might be based on fewer transistors or
even be made of semiconductors or other things that are actually not transistors at all, people could write simple software for the DM machine emulator then genetic algorithms (even cloud based 10,000 computer GA running a DMC (deep math computer)
emulation could improve the simple programs (add, subtract, multiply, divide, other math functions, Conway's game of life, perhaps even a simple jr high level math equation solver as well as any kind of program humans think a DMC machine would be good at,
disassembling the genetic algorithm optimized programs would teach human computer hardware engineers something and they could build DMCs in semiconductors (or other materials), if DMCs work better than set theory logic at the speed or also fewer-
instructions per data type (like floats that have less volume of pixel span (bytes) to do the same thing and calculate faster, then that is an advantage, DMCs and their programs also might be more fault tolerant and have different race conditions or even
no race conditions at all, different predictive branching and, at the hardware level different amounts of electrons utilized (energy consumption to do a thing) along with standalone DMCs there could be a DMC section of the CPU (this might be called a
core) so humans and compilers could take advantage of the things DMCs are better than what set theory computers do, also, photonic DMCs might be able to do very different things than set theory computers, instantly

The thing I read about in wikipedia did not, as far as I remember, have any of these names but there are similarities: "depends on what you take mathematics to be, and what your standards of proof are.

Do you allow, or expect, infinitary, potentially non-constructive reasoning in mathematics? If yes to the latter, do you accept quantifier-free transfinite induction up to epsilon-zero? Do you take Peano Arithmetic as your foundation? Then your
mathematics is consistent (Gentzen’s theorem).

If you take strictly finitary reasoning but include mathematical induction (and not transfinite induction), then Godel’s results leave it an open question, because there’s a statement true in the standard model that you can’t prove (Godel’s first
theorem) and you can’t use reasoning within the system to prove consistency (Second theorem), so that means either you must find a reduction strategy (say to Heyting Arithemetic, which then shifts the question there, and Godel showed this could be done)
or be comfortable with reasoning in a stronger theory, like a metatheory (which is typically seen as not favorable to the formalist or even constructivist positions).

Do you insist on Peano Arithmetic or Heyting Arithmetic as your foundation? There’s a result of Friedman and Meyer which says relevant arithmetic is consistent. But most logicians don’t like relevant logics, mostly because there’s so many of them,
they are not characterized by finite models, and the proof theory for these systems reflects principles of carrying out mathematics that most mathematicians might not like (for instance: reductio proof is out, because one must have sharing of variables
in a derivation). There’s also Presburger Arithmetic, which is decidable, complete, and consistent, and has induction, but only addition axioms. Is that a suitable foundation for mathematics? There’s also relative consistency proofs, and proofs of
consistency using primitive recursion and finite types but, you know, these are still not quite what we want, which is an absolute claim about consistency for foundations (whatever that might be).

For my money, I think the answer to the consistency of foundations question can be resolved by changing our assumptions about what the underlying logic should be — and very little has been done by way of work in substructural approaches to foundations.
Given Friedman and Meyer’s result, if absolute consistency is something independently valued, we should probably look elsewhere than Peano arithmetic or Is-mathematics-self-consistent

https://www.quora.com/Is-mathematics-self-consistent

Quantum dot millifiore ic lithography, imagine there could be a quantum dot that absorbs EUV at 230 nanometers, but is like a frequency doubling or tripling crystal and reemits light around 74 nanometers, much smaller than the EUV used to make computer
chips, then you naturally draw lines and circles with the quantum dots to make chip features three times smaller than EUV's 7 nanometer (your chips are better at 2.33 nanometer feature size) size, so, since the quantum dots are so tiny how do you draw
lines and circles with them, one way is to attach them to a polymer ladder or trirope (or structide). Then nudge or move the entire ladder or rope into the shape you prefer because perhaps the ladder or rope is so large it responds to laser tweezers;
there is a lot you can do with a rope, O

7nM conventional procesd features as big current carrying bars, bottom or top layer of Y connects tricircle transistor

Why would you do this, to get about 9, 36, or 144 transistors in the space of today's (October 2020) one; the quantum dots get it up to 144:1 transistors and beyond

Another possibility to make nanofine bismuth powder is spectroscopic sputtering, basically you make bismuth vapor, add lots of filler gas so it can spread out then either zoom it around in a circle with a big magnet, next to an exit port so only bismuth
blobs with the right number of atoms (say 2) get ported out to something like a cheap version of a magnetic bottle

Doing millifiore use a polymer, noting DNA which is much much thinner than a half nanometer can be pulled up out of solution with a rod, do a polymer core millifiore diameter reduction roll (sequentially)until the polymer core of the millifiore is 1/8 to
1/2 nanometers big, then the millifiore tiles, which could be as big as .5 cm^2 would contain a large plurality of circuit elements like these 1/8 to 1/2 nanometer circles at the P/N layer, these, tesselated like sphere packing are the basis of
transistor tricircles

Another possibility is to blend the polymer core, pre-millifiore with quantum dots then have another pipe-like layer of bismuth powder, or, if it can possibly work a malleable bismuth foil pipe, then millifiore it to 1/8 to 1/2 nanometer, kind of like a
fat tire, the width of the bismuth layer determines non-contact width/space between tricircles

Another millifiore possibility is a semiconductor process (rinses away simultaneously with the photoresist as a soluble polymer) with 20% active ingredient-in-polymer-matrix ingredient (quantum dots, bismuth powder)

Actually using millifiore, Y or I shapes, containing quantum dots, adjacent to the central N/P circle, gives the ability to draw out an entire 1/4 to 1/2 nM polymer+active ingredient circuit, like literally, with millifiore you could draw any 2D geometry
(I am reminded of a boxy circuit diagram with circular parts) and because each line and feature of the geometric template has a quantum dot coating around it or blended into it it can 1/4 to 1/2 nanometer so that when the quantum dots are activated to
produce photomask effecting light this patterns the photomask (then semiconductors are CVD deposited, remask, put another layer of millifiore circuit diagram down,repeat)

These millifiore tiles are circular and arrange in space like hexagonal sphere packing, it is possible to make square tiles as well, just "slab" the preroll core with 4 planes (a square) then put another polymer dough fill and tube around that, based on
internet millifiore images it can stay square

One thing about the quantum dot enriched polymer that exposes the photo resist is that I think it is likely to work better if the QD+polymer blend shapes have a very thin opaque layer all around them sort of like if you put a length of rebar or an old
20th century fluorescent tube light into the middle of an opaque long paper towel tube or gift wrap tube; bright light would only exit from the base and top; this makes it so only the potoresist directly under the tube is illuminated without leaking
around making blobby forms and lowering resolution; so at a big circle or a +| or Y or _|– there would be a very thin opaque layer at the millifiore around those traces, possibly except at tile edges where you wanted light exposure to bleed through to
the adjacent tile to have light exposure that caused continuity of conductors; at a wide area millifiore tile there could be hundreds or EV a thousand or more transistor N/P single layers; as described previously, bismuth rich areas would be used to
jiggle the millifiore tiles into place with each other using diamagnetism;

I do not know enough to know about duration of exposure of quantum dots or if they have to be stimulated 100,000s of times per second (UV strobe) to give a 1s exposure; the quantum dots are pretty affordable, at alibaba a quantum dot polymer film screen
is about $1-5 as just the quantum dot polymer layer, that covers an area at least as large, and possibly several times as large as a 17" monitor, so the amount of quantum dots per 300mm wafer could be less than 5-25¢

I also do not know the activation frequency (UV, possibly even blue light) and optimal emissions frequency of the quantum dots; the photoresist might use alternative chemistry where it ignores UV/blue but considers itself exposed with green or IR (!)

More words: Quantum dot millifiore ic lithography, imagine there could be a quantum dot that absorbs EUV at 230 nanometers, but is like a frequency doubling or tripling crystal and reemits light around 74 nanometers, much smaller than the EUV used to
make computer chips, then you naturally draw lines and circles with the quantum dots to make chip features three times smaller than EUV's 7 nanometer (your chips are better at 2.33 nanometer feature size) size, so, since the quantum dots are so tiny how
do you draw lines and circles with them, one way is to attach them to a polymer ladder or trirope (or structide). Then nudge or move the entire ladder or rope into the shape you prefer because perhaps the ladder or rope is so large it responds to laser
tweezers; there is a lot you can do with a rope, O

There are lots of ways to coat biological things with metal, I am reminded of old (?) Electron microscopy where they would coat things with "noble metals" before imaging, coating things like engineering protein shapes like big beta sheet simple machines
with bismuth makes it possible to magnetically wiggle them, powering the machine by wiggling a distal bismuth coated lever (or also Bi as part of the polymer molecule)

One possible way to coat things with bismuth is sputtering, another is a cold plasma gun, say you have a slightly complex shape, like a Y made of anything, even protein or a structide, with a standing up column at each of the Y distal tips, you would
like to flip a few billion or trillion of them to Y table right side up, cold plasma bismuth application (coating) causes the 1% of them that are already table side up to get a bismuth film on their top surface; then anytime you like you can wiggle a
magnet to make them hop to Y table side up because the upper table surface is avoiding the magnet

I may have read that microencapsulated sperm are fertile and live a week with zero mortality, that made me think you could get them to live a month at 50% mortality and 3 months at 94% mortality (but 6% are still alive and fertile)things that improve
this could be things that keep them from running out of food (fructose but raw ATP might work too) attaching sperm food (ATP, fructose) to a cell penetrating peptide could cause the food to reach them internally; sperm might tolerate osmotic feeding
where their internal stuff content is so high they puff up a little with ATP, any other chemical in the TCA cycle, or fructose water, then when gently passaged back to semen osmotic environment and semen, they then live an extra month or longer from
getting a food infusion, another possibility is slowing their metabolism so they take more time to run out of food, slowing down mitochondrial respiration might do this; mitochondria have receptors and respond to NMN, peptides or proteins that variously
open up or block those receptors to 10% of usual metabolism could turn 1 month of zero mortality into ten months of living microencapsulated

Mitochondria have porins at their outer membrane, so any moiety that gets food to transport through a mitochondrial porin could cause greater lifespan, wikipedia says antibiotics are frequently transported by porins, along with simply attaching fructose,
ATP (or any other TCA cycle chemical that is sperm food)to antibiotics or other chemicals that transport through the sperm mitochondrial porin is the possibility of taking the most transported antibiotic (or other chemical) and modifying it so it is
absent antibiotic character which may be toxic; with an enzymatically degradeable linker peptide fructose and ATP could be transported by the newly nontoxic antibiotic to feed the genetically enhanced sperm, also, methylene blue is a dye suited to living
tissues such that they stay alive, methylene blue linked to fructose or also ATP (and TCA chemicals) with an enzymatically degradeable amino acid linker, possibly GGG could feed genetically enhanced sperm, also a really gentle dose of detergent could
make them permeable to a puff up with food, " cells by reversible cell permeabilization using the detergent Triton X-100." So looking up something even milder than triton x-100 and using a very low dose to plump up the sperm with food over 24 hours
instead of 15 minutes as triton x-100 might be used for vivo dyes could cause genetically enhanced sperm to live longer;

Wikipedia says the mitochondrial porin at sperm is anion selective; "the voltage-dependent ion channel plays a key role in regulating metabolic and energetic flux across the outer mitochondrial membrane. It is involved in the transport of ATP, ADP,
pyruvate, malate, and other metabolites," Is there a way to give ATP or fructose an anionic (negative) charge and still have them be edible, I do not know if anions are neutralized by H+, but between these fructose missing one hydrogen might still be
edible the way 2 deoxy glucose is edible, similarly with all the (3) PO3s at ATP making one of them have a missing hydrogen atom could leave most of the yummy ATP food Mitochondria use Ca++ and porins transport it, a lesser or greater amount could make
sperm live longer, if lesser then at genetically enhanced human tissue culture sperm there could simply less calcium in the tissue culture medium, if more calcium benefits sperm then more calcium could be added to the tissue culture medium

Pqq

PQQ might or might not be coenzyme Q10 attached to some other thing that gets it past the exterior cytomembrane and the mitochondrial outer membrane, attach the Pqq transport moiety to fructose, ATP, and any other TCA food

possible medium approach to longer life of genetically enhanced sperm, add EDTA to mop up ions of all kinds at semen to see if sperm live longer

To transport fructose/ATP/TCA foods to the mitochondria via the anion favoring mitochondrial porin: PH as anionic environment, feeding fructose or ATP at modified pH (anything above pH7 with 99% genetically enhanced sperm survival) may work better

Mitochondrial cool down tail; there are a variety of mitochondrial proteins and it is likely some prompt, command, sustain energy production, noting 100% survival of encapsulated sperm after one month the technology to be developed is something that
causes convenience packaged long shelf life genetically enhancedsperm to use only 10% as much energy, increasing 100% survival at one month to high survival at 10 months (the same amount of metabolic energy); one approach to doing this is to find
mitochondrial or sperm proteins that direct other proteins and cell processes to do metabolism and protein production and turn their activity to a decreased level so the genetically enhanced sperm can live longer, I read about how making a custom binding
amino acid sequence (peptide)(or possibly protein or RNA) based on a complementary sequence (and structure) caused what i call the tail peptide/protein to glom onto a preferred protein to change its behavior, making tail peptides to sperm and sperm
mitochondrial proteins that direct metabolism and apoptosis to slow them down (and block apoptosis) is likely to be a way to get sperm to use just 10% of the usual energy, extending the lifespan of encapsulated genetically enhanced sperm from one or a
few months to ten months or longer

At 60 million sperm per ejaculation there are about 300 million sperm per 10 ml; find the longest lived 9.9999 percentile and find out why they live (likely well over a month, much longer is possible) find out why compared to The 99th percentile that
cease living, is it apoptosis, mitochondrial apoptosis, running out of food or essential amino acids or something different?

If it is apoptosis putting BCL-xL in media and commercial and consumer packaged storage could cause genetically enhanced sperm survival, wikipedia says, "or running out of food or some more Bcl-xL is present, then pores are non-permeable to pro-apoptotic
molecules and the cell survives"; there are ribosomes at the mitochondria, what mtDNA are they making, what protiens, would more of less of it be of benefit? perhaps sperm run out of essential amino acids, this harms their mitochondria or them and they
cease living, mitochondrial DNA, which there is not very much of, has epigenetics, what epigenetics of mtDNA causes greatest longevity 99.9999 percentile? if their epigenetics is different than median and 99th percentile survival then try the: Even
Moreso approach to amplify the beneficial epigenetics of the 9.9999 percentile while duplicating the epigenetics of the longest lived sperm at the tissue culture of genetically enhanced sperm

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