Lepidomyia
| Lepidomyia | |
|---|---|
| Scientific classification | |
| Kingdom: | |
| Phylum: | |
| Class: | |
| Order: | |
| Family: | |
| Subfamily: | |
| Tribe: | |
| Genus: | Lepidomyia Loew 1864 |
Lepidomyia is a genus of hoverflies
Species
- L. abdominalis (Williston, 1888)
- L. calopus (Loew, 1864)
- L. cincta Bigot, 1883
- L. lugens
- L. micheneri (Fluke, 1888)
- L. ortalina (Wulp, 1888)
- L. strigosellacola
- L. trilineata (Hull, 1941)
gollark: I believe the issue is that you can't determine which of the reals are actually computable with a non-infinite algorithm.
gollark: Obviously "computable" exists elsewhere.
gollark: "Computable numbers", I mean.
gollark: Is "computable" a thing you made up? Because it sounds as if it might suffer similar issues to in our proof, which uses "finitely describable" similarly.
gollark: No, it's right. The reals are countable. This is known.
References
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.