Author's Alias: julius wilhelm richard dedekind