Your English writing platform
Discover LudwigExact(1)
Attempts to prove that more general fan theorem constructively rely on an analysis of how we could know that a subset is a bar, and led Brouwer to a notion of bar induction; this is discussed in Section 3.6 of the entry on intuitionism in the philosophy of mathematics; another good reference for bar induction is van Atten (2004).
Similar(59)
We rely on one another".
Always rely on ourselves".
"We rely on them.
Don't rely on luck.
Economies still rely on it.
Bees rely on optic flow.
Some consultants rely on testimonials.
But they rely on that.
Medical researchers rely on it.
Some rely on case law.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com