# Majority Voting and the Condorcet's Jury Theorem

There is a striking relationship between a three hundred years old Political Science theorem named "Condorcet's jury theorem" (1785), which states that majorities are more likely to choose correctly when individual votes are often correct and independent, and a modern Machine Learning concept called "Strength of Weak Learnability" (1990), which describes a method for converting a weak learning algorithm into one that achieves arbitrarily high accuracy and stands in the basis of Ensemble Learning. Albeit the intuitive statement of Condorcet's theorem, we could not find a compact and simple rigorous mathematical proof of the theorem neither in classical handbooks of Machine Learning nor in published papers. By all means we do not claim to discover or reinvent a theory nor a result. We humbly want to offer a more publicly available simple derivation of the theorem. We will find joy in seeing more teachers of introduction-to-machine-learning courses use the proof we provide here as an exercise to explain the motivation of ensemble learning.

• 4 publications
• 1 publication
• 1 publication
• 10 publications
• 3 publications
• 10 publications
• 1 publication
research
10/11/2022

### Formalizing May's Theorem

This report presents a formalization of May's theorem in the proof assis...
research
02/01/2023

### A formalisation of Gallagher's ergodic theorem

Gallagher's ergodic theorem is a result in metric number theory. It stat...
research
10/31/2021

### Gács-Kučera's Theorem Revisited by Levin

Leonid Levin (arxiv.org/abs/cs/0503039v14, p.7) published a new (and ver...
research
12/04/2019

### A Constructive Formalization of the Weak Perfect Graph Theorem

The Perfect Graph Theorems are important results in graph theory describ...
research
06/16/2020

### Metrizing Weak Convergence with Maximum Mean Discrepancies

Theorem 12 of Simon-Gabriel Schölkopf (JMLR, 2018) seemed to close a...
research
05/15/2023

### Fermat's Last Theorem for regular primes

We formalise the proof of the first case of Fermat's Last Theorem for re...
research
04/28/2022

### Skolem Meets Schanuel

The celebrated Skolem-Mahler-Lech Theorem states that the set of zeros o...