recentpopularlog in

Logic

« earlier   
GitHub - noprompt/meander: Tools for data transformation and term rewriting
Tools for data transformation and term rewriting. Contribute to noprompt/meander development by creating an account on GitHub.
transformation  clojure  clojurescript  term  rewriting  logic  programming  data 
3 days ago by fmjrey
joinr/odin: An embedded extensible logic DSL for Clojure.
An embedded extensible logic DSL for Clojure. Contribute to joinr/odin development by creating an account on GitHub.
odin  clojure  logic  query 
6 days ago by mac
fogus: Monster
Pseudo-random ramblings from Fogus.
prolog  logic  software  plt  lisp 
8 days ago by sjmarshy
Unprovability comes to machine learning
Ben-David and colleagues then prove that the ability to carry out a weak form of monotone compression is related to the size of certain infinite sets. The set that the authors ultimately use in their work is the unit interval, which is the set of real numbers between 0 and 1. Their results imply that the finite subsets of the unit interval have monotone-compression schemes, and therefore are learnable in EMX, if and only if the continuum hypothesis is true, which is known to be unprovable.
machinelearning  maths  logic 
10 days ago by pozorvlak

Copy this bookmark:





to read