Skip to main content
MathOverflow
YKY's user avatar
YKY's user avatar
YKY's user avatar
YKY
  • Member for 14 years
  • Last seen more than a week ago
Profile Activity
Stats
558
reputation
7k
reached
2
answers
9
questions
Communities
View all
About
Artificial intelligence researcher and founder of the AGI project Genifer (general inference engine).
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
2
Score
3
Posts
27
Posts %
1
Score
3
Posts
27
Posts %
1
Score
2
Posts
18
Posts %
1
Score
1
Posts
9
Posts %
0
Score
2
Posts
18
Posts %
0
Score
1
Posts
9
Posts %
Top posts
View all questions and answers
question
13
Two interpretations of implication in categorical logic?
Dec 4, 2020
question
6
Algebraization of Bayesian networks?
Mar 31, 2017
question
5
Matrices that are > 1 in a sense
Oct 14, 2012
question
4
Algebraic logic in the style of algebraic geometry
Oct 23
question
3
What is the cardinality of Dana Scott's $D_{\infty}$?
Jan 26, 2021
question
3
Is the Kolmogorov-Arnold representation theorem an example of the Yoneda lemma?
Feb 1, 2021
question
2
Learning rule for recurrent neural network with flexible time steps
Nov 3, 2015
answer
2
Combinator logic and unification
Sep 15, 2011
question
1
Are trees spectrally determined?
Aug 23, 2013
answer
1
The category of hypergraphs as a topos
Aug 9, 2018
Top network posts
View all network posts
61
In a USB cable, is it OK to swap the D+ and D- wires?
34
How can I tell which Latex (MikTex or TexLive) I have installed on Ubuntu?
31
How can I tell which Latex (MikTex or TexLive) I have installed on Ubuntu?
18
How to repeat over all characters in a string?
15
Fuzzy logic and topos theory