New paper (first draft):
Anti-Nominalism
In this paper I introduce Anti-Nominalism, which is a weaker version of Seshatism. I explain how it relates to Nominalism critique and why it should be taken seriously by Platonists.
github.com/advancedrese...
Anti-Nominalism
In this paper I introduce Anti-Nominalism, which is a weaker version of Seshatism. I explain how it relates to Nominalism critique and why it should be taken seriously by Platonists.
github.com/advancedrese...
October 30, 2025 at 11:34 PM
New paper (first draft):
Anti-Nominalism
In this paper I introduce Anti-Nominalism, which is a weaker version of Seshatism. I explain how it relates to Nominalism critique and why it should be taken seriously by Platonists.
github.com/advancedrese...
Anti-Nominalism
In this paper I introduce Anti-Nominalism, which is a weaker version of Seshatism. I explain how it relates to Nominalism critique and why it should be taken seriously by Platonists.
github.com/advancedrese...
We recently developed an #outreachproject with Cambridge School of Visual and Performing Arts #CSVPA and the Faculty of Music, Cambridge.
The Fabricant Worlds Matter, Machine, Imagination explores how creatives can engage with #advancedresearch
More @cambridgefestival.bsky.social in March 2026 🙌
The Fabricant Worlds Matter, Machine, Imagination explores how creatives can engage with #advancedresearch
More @cambridgefestival.bsky.social in March 2026 🙌
October 21, 2025 at 3:14 PM
We recently developed an #outreachproject with Cambridge School of Visual and Performing Arts #CSVPA and the Faculty of Music, Cambridge.
The Fabricant Worlds Matter, Machine, Imagination explores how creatives can engage with #advancedresearch
More @cambridgefestival.bsky.social in March 2026 🙌
The Fabricant Worlds Matter, Machine, Imagination explores how creatives can engage with #advancedresearch
More @cambridgefestival.bsky.social in March 2026 🙌
New alphabetic list for the Path Semantics project:
Alphabetic List of Physical Information Systems
Describes a list of concepts for physical systems, from the perspective of information. Among the most central laws is `C-Sym => Coh | DeCoh`. github.com/advancedrese...
Alphabetic List of Physical Information Systems
Describes a list of concepts for physical systems, from the perspective of information. Among the most central laws is `C-Sym => Coh | DeCoh`. github.com/advancedrese...
October 15, 2025 at 1:00 PM
New alphabetic list for the Path Semantics project:
Alphabetic List of Physical Information Systems
Describes a list of concepts for physical systems, from the perspective of information. Among the most central laws is `C-Sym => Coh | DeCoh`. github.com/advancedrese...
Alphabetic List of Physical Information Systems
Describes a list of concepts for physical systems, from the perspective of information. Among the most central laws is `C-Sym => Coh | DeCoh`. github.com/advancedrese...
We're now 55.5% on the way to finding minimum primbix of value 20. There are 26 CPU cores working on this search 24/7.
We know this number is less or equal to 294 698 527 560 839.
#primbix #research #advancedresearch
We know this number is less or equal to 294 698 527 560 839.
#primbix #research #advancedresearch
October 14, 2025 at 3:07 PM
We're now 55.5% on the way to finding minimum primbix of value 20. There are 26 CPU cores working on this search 24/7.
We know this number is less or equal to 294 698 527 560 839.
#primbix #research #advancedresearch
We know this number is less or equal to 294 698 527 560 839.
#primbix #research #advancedresearch
New paper (first draft):
Deleuze's Image of Thought
I discuss the chapter "Image of Thought" in Gillette Deleuze's work "Difference and Repetition" (1968). I argue that Deleuze fits the post-Kantian tradition. At the end, I do a little path semantical analysis. github.com/advancedrese...
Deleuze's Image of Thought
I discuss the chapter "Image of Thought" in Gillette Deleuze's work "Difference and Repetition" (1968). I argue that Deleuze fits the post-Kantian tradition. At the end, I do a little path semantical analysis. github.com/advancedrese...
October 9, 2025 at 10:29 PM
New paper (first draft):
Deleuze's Image of Thought
I discuss the chapter "Image of Thought" in Gillette Deleuze's work "Difference and Repetition" (1968). I argue that Deleuze fits the post-Kantian tradition. At the end, I do a little path semantical analysis. github.com/advancedrese...
Deleuze's Image of Thought
I discuss the chapter "Image of Thought" in Gillette Deleuze's work "Difference and Repetition" (1968). I argue that Deleuze fits the post-Kantian tradition. At the end, I do a little path semantical analysis. github.com/advancedrese...
New paper (first draft):
Natural Difference Geometry
In this paper, we introduce a geometric difference calculus on natural numbers.
github.com/advancedrese...
Natural Difference Geometry
In this paper, we introduce a geometric difference calculus on natural numbers.
github.com/advancedrese...
October 2, 2025 at 12:48 AM
New paper (first draft):
Natural Difference Geometry
In this paper, we introduce a geometric difference calculus on natural numbers.
github.com/advancedrese...
Natural Difference Geometry
In this paper, we introduce a geometric difference calculus on natural numbers.
github.com/advancedrese...
New paper (first draft):
What is Philosophy?
The meaning of philosophy has changed significantly over time, to a such extent that people today might get horrified learning how it worked and what this says about our own culture. github.com/advancedrese...
What is Philosophy?
The meaning of philosophy has changed significantly over time, to a such extent that people today might get horrified learning how it worked and what this says about our own culture. github.com/advancedrese...
September 28, 2025 at 2:17 PM
New paper (first draft):
What is Philosophy?
The meaning of philosophy has changed significantly over time, to a such extent that people today might get horrified learning how it worked and what this says about our own culture. github.com/advancedrese...
What is Philosophy?
The meaning of philosophy has changed significantly over time, to a such extent that people today might get horrified learning how it worked and what this says about our own culture. github.com/advancedrese...
The minimum primbix of value 19 has been found:
83710206810107
Primbix is prime of form `1 + 2 * r * s` where `r, s` are primes. Primbix value counts leaves in the associated binary tree. Minimum primbix value is the smallest number of some value. advancedresearch.github.io/primbix/prim...
83710206810107
Primbix is prime of form `1 + 2 * r * s` where `r, s` are primes. Primbix value counts leaves in the associated binary tree. Minimum primbix value is the smallest number of some value. advancedresearch.github.io/primbix/prim...
September 25, 2025 at 4:51 PM
The minimum primbix of value 19 has been found:
83710206810107
Primbix is prime of form `1 + 2 * r * s` where `r, s` are primes. Primbix value counts leaves in the associated binary tree. Minimum primbix value is the smallest number of some value. advancedresearch.github.io/primbix/prim...
83710206810107
Primbix is prime of form `1 + 2 * r * s` where `r, s` are primes. Primbix value counts leaves in the associated binary tree. Minimum primbix value is the smallest number of some value. advancedresearch.github.io/primbix/prim...
New paper (first draft):
Homotopy Arithmecy
Introduces a simple model for Homotopy Theory, using `bool^n -> nat` where you can reason about global holes regardless the choice of topology. github.com/advancedrese...
Homotopy Arithmecy
Introduces a simple model for Homotopy Theory, using `bool^n -> nat` where you can reason about global holes regardless the choice of topology. github.com/advancedrese...
September 21, 2025 at 9:32 PM
New paper (first draft):
Homotopy Arithmecy
Introduces a simple model for Homotopy Theory, using `bool^n -> nat` where you can reason about global holes regardless the choice of topology. github.com/advancedrese...
Homotopy Arithmecy
Introduces a simple model for Homotopy Theory, using `bool^n -> nat` where you can reason about global holes regardless the choice of topology. github.com/advancedrese...
Poi v0.25 is released! crates.io/crates/poi
This update fixes some parsing bugs and adds a missing rule:
x^(a/b) <=> (x^a)^(1/b)
This update fixes some parsing bugs and adds a missing rule:
x^(a/b) <=> (x^a)^(1/b)
September 21, 2025 at 9:26 AM
Poi v0.25 is released! crates.io/crates/poi
This update fixes some parsing bugs and adds a missing rule:
x^(a/b) <=> (x^a)^(1/b)
This update fixes some parsing bugs and adds a missing rule:
x^(a/b) <=> (x^a)^(1/b)
I've added links to Discord servers in my profile.
Piston is the server which has to do with game engine development. E.g. if you are programming in Rust, then you can try here.
AdvancedResearch is the research branch of the Piston project. E.g. you want to talk about galactic civilizations.
Piston is the server which has to do with game engine development. E.g. if you are programming in Rust, then you can try here.
AdvancedResearch is the research branch of the Piston project. E.g. you want to talk about galactic civilizations.
September 4, 2025 at 12:36 PM
I've added links to Discord servers in my profile.
Piston is the server which has to do with game engine development. E.g. if you are programming in Rust, then you can try here.
AdvancedResearch is the research branch of the Piston project. E.g. you want to talk about galactic civilizations.
Piston is the server which has to do with game engine development. E.g. if you are programming in Rust, then you can try here.
AdvancedResearch is the research branch of the Piston project. E.g. you want to talk about galactic civilizations.
The minimum primbix of level 18 has been found:
12279094871663
A primbix is a prime of the form `1 + 2 * r * s`, where `r, s` are primes. Primbix value counts the leaves in this binary tree. Minimum primbix is the smallest number for some value.
advancedresearch.github.io/primbix/prim...
12279094871663
A primbix is a prime of the form `1 + 2 * r * s`, where `r, s` are primes. Primbix value counts the leaves in this binary tree. Minimum primbix is the smallest number for some value.
advancedresearch.github.io/primbix/prim...
September 3, 2025 at 8:55 AM
The minimum primbix of level 18 has been found:
12279094871663
A primbix is a prime of the form `1 + 2 * r * s`, where `r, s` are primes. Primbix value counts the leaves in this binary tree. Minimum primbix is the smallest number for some value.
advancedresearch.github.io/primbix/prim...
12279094871663
A primbix is a prime of the form `1 + 2 * r * s`, where `r, s` are primes. Primbix value counts the leaves in this binary tree. Minimum primbix is the smallest number for some value.
advancedresearch.github.io/primbix/prim...
Microbial crop fertilisation business #AzoticTechnologies has secured a £500,000 grant to extend its technology into crop protection. #AdvancedResearch+InventionAgency(ARIA) #DepartmentforScienceInnovationandTechnology #UniversityofDurham #UniverityofNottingham
bit.ly/4mLXN9J
bit.ly/4mLXN9J
September 2, 2025 at 2:34 PM
Microbial crop fertilisation business #AzoticTechnologies has secured a £500,000 grant to extend its technology into crop protection. #AdvancedResearch+InventionAgency(ARIA) #DepartmentforScienceInnovationandTechnology #UniversityofDurham #UniverityofNottingham
bit.ly/4mLXN9J
bit.ly/4mLXN9J
These small things are not the ones you write research papers about, but I think that's the reason why we need the AdvancedResearch organization, to find these small improvements that are significant.
August 22, 2025 at 7:27 PM
These small things are not the ones you write research papers about, but I think that's the reason why we need the AdvancedResearch organization, to find these small improvements that are significant.
The minimum primbix of level 17 has been found:
5075320359359
For more information: advancedresearch.github.io/primbix/prim...
This is lower than the upper bound found by backtracking. It was found only 7 days after level 16.
5075320359359
For more information: advancedresearch.github.io/primbix/prim...
This is lower than the upper bound found by backtracking. It was found only 7 days after level 16.
August 22, 2025 at 6:40 PM
The minimum primbix of level 17 has been found:
5075320359359
For more information: advancedresearch.github.io/primbix/prim...
This is lower than the upper bound found by backtracking. It was found only 7 days after level 16.
5075320359359
For more information: advancedresearch.github.io/primbix/prim...
This is lower than the upper bound found by backtracking. It was found only 7 days after level 16.
Minimum primbix of value 16 has been found:
460785710279
A primbix is a prime of the form `1 + 2 * r * s` where `r, s` are primes. Primbix value is the number of leaves in the associated binary tree. Min primbix is the smallest number for some value.
advancedresearch.github.io/primbix/prim...
460785710279
A primbix is a prime of the form `1 + 2 * r * s` where `r, s` are primes. Primbix value is the number of leaves in the associated binary tree. Min primbix is the smallest number for some value.
advancedresearch.github.io/primbix/prim...
August 15, 2025 at 6:52 PM
Minimum primbix of value 16 has been found:
460785710279
A primbix is a prime of the form `1 + 2 * r * s` where `r, s` are primes. Primbix value is the number of leaves in the associated binary tree. Min primbix is the smallest number for some value.
advancedresearch.github.io/primbix/prim...
460785710279
A primbix is a prime of the form `1 + 2 * r * s` where `r, s` are primes. Primbix value is the number of leaves in the associated binary tree. Min primbix is the smallest number for some value.
advancedresearch.github.io/primbix/prim...
New paper (first draft):
Existential Cover in Constructive Logic
IPL (constructive logic) is actually an Existential Logic `!!a | !a` for all `a`, when finalized with HOOO EP axioms (meta-theorem proving). As consequence, meta-theorem proving is not trusted.
github.com/advancedrese...
Existential Cover in Constructive Logic
IPL (constructive logic) is actually an Existential Logic `!!a | !a` for all `a`, when finalized with HOOO EP axioms (meta-theorem proving). As consequence, meta-theorem proving is not trusted.
github.com/advancedrese...
August 7, 2025 at 1:04 PM
New paper (first draft):
Existential Cover in Constructive Logic
IPL (constructive logic) is actually an Existential Logic `!!a | !a` for all `a`, when finalized with HOOO EP axioms (meta-theorem proving). As consequence, meta-theorem proving is not trusted.
github.com/advancedrese...
Existential Cover in Constructive Logic
IPL (constructive logic) is actually an Existential Logic `!!a | !a` for all `a`, when finalized with HOOO EP axioms (meta-theorem proving). As consequence, meta-theorem proving is not trusted.
github.com/advancedrese...
I fixed some typos in the paper "Transcendental Propositions": github.com/advancedrese...
Transcendental Propositions is a constructive analogue of Kant's dream of "Transcendental Logic". Idea came from translating the analysis using Joker Dialectics of Post-Kantian philosophy into Path Semantics.
Transcendental Propositions is a constructive analogue of Kant's dream of "Transcendental Logic". Idea came from translating the analysis using Joker Dialectics of Post-Kantian philosophy into Path Semantics.
August 1, 2025 at 11:06 AM
I fixed some typos in the paper "Transcendental Propositions": github.com/advancedrese...
Transcendental Propositions is a constructive analogue of Kant's dream of "Transcendental Logic". Idea came from translating the analysis using Joker Dialectics of Post-Kantian philosophy into Path Semantics.
Transcendental Propositions is a constructive analogue of Kant's dream of "Transcendental Logic". Idea came from translating the analysis using Joker Dialectics of Post-Kantian philosophy into Path Semantics.
I've added two appendixes to the paper "Transcendental Propositions": github.com/advancedrese...
- Appendix B: Religion as medicine in Europe
- Appendix C: Modern religion in Europe
This provides some background on why medicine is left out of the history of the Scientific Revolution.
- Appendix B: Religion as medicine in Europe
- Appendix C: Modern religion in Europe
This provides some background on why medicine is left out of the history of the Scientific Revolution.
July 31, 2025 at 3:37 PM
I've added two appendixes to the paper "Transcendental Propositions": github.com/advancedrese...
- Appendix B: Religion as medicine in Europe
- Appendix C: Modern religion in Europe
This provides some background on why medicine is left out of the history of the Scientific Revolution.
- Appendix B: Religion as medicine in Europe
- Appendix C: Modern religion in Europe
This provides some background on why medicine is left out of the history of the Scientific Revolution.
Introducing VICTOR Kira: Versatile monochromator-based multimode #platereader for absorbance, fluorescence & luminescence with user-friendly software. Click the link to watch full video! ms.spr.ly/63328s86O0
#NextGenScience #AdvancedResearch
#NextGenScience #AdvancedResearch
July 18, 2025 at 7:10 PM
Introducing VICTOR Kira: Versatile monochromator-based multimode #platereader for absorbance, fluorescence & luminescence with user-friendly software. Click the link to watch full video! ms.spr.ly/63328s86O0
#NextGenScience #AdvancedResearch
#NextGenScience #AdvancedResearch
New paper (first draft):
Transcendental Propositions
Completes Kant's dream constructively:
(~a | ~!a)^true
This is the most controversial paper I've written. Just the background knowledge alone, needed to understand this research, is highly controversial. github.com/advancedrese...
Transcendental Propositions
Completes Kant's dream constructively:
(~a | ~!a)^true
This is the most controversial paper I've written. Just the background knowledge alone, needed to understand this research, is highly controversial. github.com/advancedrese...
July 13, 2025 at 8:08 PM
New paper (first draft):
Transcendental Propositions
Completes Kant's dream constructively:
(~a | ~!a)^true
This is the most controversial paper I've written. Just the background knowledge alone, needed to understand this research, is highly controversial. github.com/advancedrese...
Transcendental Propositions
Completes Kant's dream constructively:
(~a | ~!a)^true
This is the most controversial paper I've written. Just the background knowledge alone, needed to understand this research, is highly controversial. github.com/advancedrese...
Good news! After 3 years (only!), I've found the minimum Primbix of value 15:
107 478 087 043
The construction:
1+2*3*(1+2*(1+2*(1+2*3*(1+2*2*3))*(1+2*2*(1+2*3*(1+2*2*3))))*(1+2*3*(1+2*3*(1+2*(1+2*2*3)*(1+2*5*(1+2*3*3))))))
Uses `2, 3, 5`.
advancedresearch.github.io/primbix/prim...
107 478 087 043
The construction:
1+2*3*(1+2*(1+2*(1+2*3*(1+2*2*3))*(1+2*2*(1+2*3*(1+2*2*3))))*(1+2*3*(1+2*3*(1+2*(1+2*2*3)*(1+2*5*(1+2*3*3))))))
Uses `2, 3, 5`.
advancedresearch.github.io/primbix/prim...
June 13, 2025 at 7:27 PM
Good news! After 3 years (only!), I've found the minimum Primbix of value 15:
107 478 087 043
The construction:
1+2*3*(1+2*(1+2*(1+2*3*(1+2*2*3))*(1+2*2*(1+2*3*(1+2*2*3))))*(1+2*3*(1+2*3*(1+2*(1+2*2*3)*(1+2*5*(1+2*3*3))))))
Uses `2, 3, 5`.
advancedresearch.github.io/primbix/prim...
107 478 087 043
The construction:
1+2*3*(1+2*(1+2*(1+2*3*(1+2*2*3))*(1+2*2*(1+2*3*(1+2*2*3))))*(1+2*3*(1+2*3*(1+2*(1+2*2*3)*(1+2*5*(1+2*3*3))))))
Uses `2, 3, 5`.
advancedresearch.github.io/primbix/prim...
I've created a new summary page on the website for the AdvancedResearch community:
Quantum Path Semantics
This page explains what wave functions are in Path Semantics and why you can't "solve" QM (with some recent failed attempts). advancedresearch.github.io/quantum/summ...
Quantum Path Semantics
This page explains what wave functions are in Path Semantics and why you can't "solve" QM (with some recent failed attempts). advancedresearch.github.io/quantum/summ...
June 13, 2025 at 12:03 PM
I've created a new summary page on the website for the AdvancedResearch community:
Quantum Path Semantics
This page explains what wave functions are in Path Semantics and why you can't "solve" QM (with some recent failed attempts). advancedresearch.github.io/quantum/summ...
Quantum Path Semantics
This page explains what wave functions are in Path Semantics and why you can't "solve" QM (with some recent failed attempts). advancedresearch.github.io/quantum/summ...
I've created a new summary page on the website of the AdvancedResearch community:
Theorem Proving Research
Here, you can find some example solvers and keywords for classification: advancedresearch.github.io/solving/summ...
Theorem Proving Research
Here, you can find some example solvers and keywords for classification: advancedresearch.github.io/solving/summ...
June 11, 2025 at 12:03 PM
I've created a new summary page on the website of the AdvancedResearch community:
Theorem Proving Research
Here, you can find some example solvers and keywords for classification: advancedresearch.github.io/solving/summ...
Theorem Proving Research
Here, you can find some example solvers and keywords for classification: advancedresearch.github.io/solving/summ...
New paper (first draft):
Evaluation Oriented Classes
Introduces a framework for Object Oriented Programming (OOP) which is closer in semantics to functional programming and suitable for Path Semantics and LLM prompt engineering.
github.com/advancedrese...
Evaluation Oriented Classes
Introduces a framework for Object Oriented Programming (OOP) which is closer in semantics to functional programming and suitable for Path Semantics and LLM prompt engineering.
github.com/advancedrese...
June 8, 2025 at 9:53 AM
New paper (first draft):
Evaluation Oriented Classes
Introduces a framework for Object Oriented Programming (OOP) which is closer in semantics to functional programming and suitable for Path Semantics and LLM prompt engineering.
github.com/advancedrese...
Evaluation Oriented Classes
Introduces a framework for Object Oriented Programming (OOP) which is closer in semantics to functional programming and suitable for Path Semantics and LLM prompt engineering.
github.com/advancedrese...