About the name Arquimedes
Arquimedes belongs to the Portuguese tradition. Its roots are documented, even though its precise meaning is not recorded in the standard references — an honest gap we prefer to a confident guess.
In the United States, Arquimedes first appears in Social Security records in 1995. It climbed to its best-ever rank of #8962 in 1995, and in 2024 0 babies received the name — 5 in total since 1880. Those are the official counts, not estimates.